1 <!--#include virtual="xhtml-header.shtml" -->
4 <title>Matita home page - developers</title>
5 <link type="text/css" rel="stylesheet" href="style.css"/>
8 <!--#include virtual="menubar.shtml" -->
9 <h1><span class="h1">Current team members</span></h1>
11 <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
12 <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
13 <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
14 <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
17 <h1><span class="h1">Former members</span></h1>
19 <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
20 <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
21 <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
24 <h1><span class="h1">Students, developers and contributors</span></h1>
26 <li>Pietro Di Lena</li>
27 <li>Michele Galatá</li>
28 <li>Alberto Griggio</li>
30 <li>Vincenzo Tamburrelli</li>
32 <!--#include virtual="bottombar.shtml" -->