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     <p>
  10     The origins of Matita go back to 1999 and are intertwined with the
  11     <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
  12     lot of people contributed both ideas and source code that have made
  13     Matita what it looks today. In this page we tried to summarize all
  14     of them, we apologize for whom we forgot to mention.
  15     </p>
  16     <h1><span class="h1">Current team members</span></h1>
  17     <ul>
  18       <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
  19       <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Lecturer </li>
  20       <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
  21       <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
  22     </ul>
  23
  24     <h1><span class="h1">Former members</span></h1>
  25     <ul>
  26       <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
  27       <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
  28       <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
  29       <li>Pietro Di Lena - Undergrad Student</li>
  30       <li>Michele Galatá - Undergrad Student</li>
  31       <li>Alberto Griggio - Undergrad Student</li>
  32       <li>Matteo Selmi - Undergrad Student</li>
  33       <li>Vincenzo Tamburrelli - Undergrad Student</li>
  34     </ul>
  35     <!--#include virtual="bottombar.shtml" -->
  36   </body>
  37 </html>
  38 <!-- $Id$ -->