helm/matita_homepage/developers.html

   1 <html>
   2  <head>
   3   <title>Matita home page - developers</title>
   4  </head>
   5  <style>
   6
   7
   8
   9  </style>
  10
  11   <body>
  12
  13     <font size="-2" face="Arial, Helvetica, sans-serif">
  14     <h2>Current team members</h2>
  15     <ul>
  16       <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> Full Professor</li>
  17       <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> Researcher </li>
  18       <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a>PhD Student</li>
  19       <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a>PhD Student</li>
  20     </ul>
  21
  22     <h2>Former members</h2>
  23     <ul>
  24       <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
  25       <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
  26       <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
  27     </ul>
  28
  29     <h2>Students, developers and contributors</h2>
  30     <ul>
  31       <li>Pietro Di Lena</li>
  32       <li>Michele Galata'.</li>
  33       <li>Alberto Griggio</li>
  34       <li>Matteo Selmi</li>
  35       <li>Vincenzo Tamburrelli</li>
  36     </ul>
  37     </font>
  38   </body>
  39
  40
  41 </html>