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="-1" face="Arial, Helvetica, sans-serif">
  14
  15     <!-- Matita Header -->
  16       <table align=center border=1 bordercolor=#227722 bgcolor=#227722
  17       width=95% cellpadding=3>
  18         <tr>
  19           <td bgcolor=#D0FFD0>
  20             <table align=center border=0 width=100%>
  21               <tr>
  22                 <td bgcolor=#D0FFD0 align=center>
  23                   <a href=developers.html>Developers</a>
  24                 </td>
  25
  26                 <td bgcolor=#D0FFD0 align=center>
  27                   <a href=documentation.html>Documentation</a>
  28                 </td>
  29
  30                 <td bgcolor=#D0FFD0 align=center>
  31                   <a href=community.html>Community</a>
  32                 </td>
  33
  34                 <td bgcolor=#D0FFD0 align=center>
  35
  36                   <a href=download.html>Download</a>
  37                 </td>
  38               </tr>
  39             </table>
  40     </td>
  41   </tr>
  42 </table>
  43
  44 <br>
  45
  46     <h2>Current team members</h2>
  47     <ul>
  48       <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> Full Professor</li>
  49       <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> Researcher </li>
  50       <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a>PhD Student</li>
  51       <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a>PhD Student</li>
  52     </ul>
  53
  54     <h2>Former members</h2>
  55     <ul>
  56       <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
  57       <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
  58       <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
  59     </ul>
  60
  61     <h2>Students, developers and contributors</h2>
  62     <ul>
  63       <li>Pietro Di Lena</li>
  64       <li>Michele Galata'.</li>
  65       <li>Alberto Griggio</li>
  66       <li>Matteo Selmi</li>
  67       <li>Vincenzo Tamburrelli</li>
  68     </ul>
  69     </font>
  70   </body>
  71
  72
  73 </html>