helm/www/matita/developers.shtml

   1 <!--#include virtual="xhtml-header.shtml" -->
   2 <html>
   3   <head>
   4     <title>Matita home page - developers</title>
   5     <link type="text/css" rel="stylesheet" href="style.css"/>
   6   </head>
   7   <body>
   8     <!--#include virtual="menubar.shtml" -->
   9     <h1><span class="h1">Current team members</span></h1>
  10     <ul>
  11       <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
  12       <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
  13       <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
  14       <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
  15     </ul>
  16
  17     <h1><span class="h1">Former members</span></h1>
  18     <ul>
  19       <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
  20       <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Researcher</li>
  21       <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
  22       <li>Pietro Di Lena - Undergrad Student</li>
  23       <li>Michele Galatá - Undergrad Student</li>
  24       <li>Alberto Griggio - Undergrad Student</li>
  25       <li>Matteo Selmi - Undergrad Student</li>
  26       <li>Vincenzo Tamburrelli - Undergrad Student</li>
  27     </ul>
  28     <!--#include virtual="bottombar.shtml" -->
  29   </body>
  30 </html>
  31 <!-- $Id$ -->