3 <title>Matita home page - developers</title>
13 <font size="-1" face="Arial, Helvetica, sans-serif">
17 <!-- Matita Header -->
18 <table align=center width=95% cellpadding=4>
21 <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
24 <a href=index.html>Matita Home</a>
28 <a href=developers.html>Developers</a>
32 <a href=documentation.html>Documentation</a>
36 <a href=community.html>Community</a>
40 <a href=download.html>Download</a>
50 <h2>Current team members</h2>
52 <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> - Full Professor</li>
53 <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> - Researcher </li>
54 <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a> - PhD Student</li>
55 <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a> - PhD Student</li>
58 <h2>Former members</h2>
60 <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
61 <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
62 <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
65 <h2>Students, developers and contributors</h2>
67 <li>Pietro Di Lena</li>
68 <li>Michele Galata'</li>
69 <li>Alberto Griggio</li>
71 <li>Vincenzo Tamburrelli</li>