helm/www/matita/developers.html

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