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