helm/www/matita/development.shtml

   1 <!--#include virtual="xhtml-header.shtml" -->
   2 <!-- $Id$ -->
   3 <html xmlns="http://www.w3.org/1999/xhtml">
   4   <head>
   5     <title>Matita Developers</title>
   6     <!--#include virtual="xhtml-meta.shtml" -->
   7   </head>
   8   <body>
   9     <!--#include virtual="menubar.shtml" -->
  10     <div class="main">
  11
  12       <h1>Matita Developers</h1>
  13       <p>
  14       The origins of Matita go back to 1999 and are intertwined with the
  15       <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
  16       lot of people contributed both ideas and source code that have made
  17       Matita what it looks today. In this page we tried to summarize all
  18       of them, we apologize for whom we forgot to mention.
  19       </p>
  20
  21       <h2>People<a name="people"></a></h2>
  22       <h3>Current team members</h3>
  23       <ul class="wide">
  24         <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
  25         <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
  26         <li><a href="http://ricciott.web.cs.unibo.it/">Wilmer Ricciotti</a> - PhD Student </li>
  27         <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Lecturer </li>
  28         <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD </li>
  29       </ul>
  30
  31       <h3>Former members</h3>
  32       <ul class="wide">
  33         <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD </li>
  34         <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
  35         <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
  36         <li>Pietro Di Lena - Master Student</li>
  37         <li>Michele Galatá - Master Student</li>
  38         <li>Alberto Griggio - Master Student</li>
  39         <li>Matteo Selmi - Master Student</li>
  40         <li>Vincenzo Tamburrelli - Master Student</li>
  41       </ul>
  42
  43       <!--#include virtual="bottombar.shtml" -->
  44     </div>
  45   </body>
  46 </html>