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></li>
  20       <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
  21       <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
  22     </ul>
  23
  24     <h1><span class="h1">Students, developers and contributors</span></h1>
  25     <ul>
  26       <li>Pietro Di Lena</li>
  27       <li>Michele Galatá</li>
  28       <li>Alberto Griggio</li>
  29       <li>Matteo Selmi</li>
  30       <li>Vincenzo Tamburrelli</li>
  31     </ul>
  32     <!--#include virtual="bottombar.shtml" -->
  33   </body>
  34 </html>
  35 <!-- $Id$ -->