3 <title>Matita home page - developers</title>
4 <link type="text/css" rel="stylesheet" href="style.css"/>
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>
15 <h1><span class="h1">Current team members</span></h1>
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>
23 <h1><span class="h1">Former members</span></h1>
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>
30 <h1><span class="h1">Students, developers and contributors</span></h1>
32 <li>Pietro Di Lena</li>
33 <li>Michele Galata'</li>
34 <li>Alberto Griggio</li>
36 <li>Vincenzo Tamburrelli</li>