</head>
<body>
<!--#include virtual="menubar.shtml" -->
+ <p>
+ The origins of Matita go back to 1999 and are intertwined with the
+ <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
+ lot of people contributed both ideas and source code that have made
+ Matita what it looks today. In this page we tried to summarize all
+ of them, we apologize for whom we forgot to mention.
+ </p>
<h1><span class="h1">Current team members</span></h1>
<ul>
<li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
- <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
+ <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Lecturer </li>
<li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
<li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
</ul>
<h1><span class="h1">Former members</span></h1>
<ul>
- <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
- <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
- <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
- </ul>
-
- <h1><span class="h1">Students, developers and contributors</span></h1>
- <ul>
- <li>Pietro Di Lena</li>
- <li>Michele Galatá</li>
- <li>Alberto Griggio</li>
- <li>Matteo Selmi</li>
- <li>Vincenzo Tamburrelli</li>
+ <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
+ <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
+ <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
+ <li>Pietro Di Lena - Undergrad Student</li>
+ <li>Michele Galatá - Undergrad Student</li>
+ <li>Alberto Griggio - Undergrad Student</li>
+ <li>Matteo Selmi - Undergrad Student</li>
+ <li>Vincenzo Tamburrelli - Undergrad Student</li>
</ul>
<!--#include virtual="bottombar.shtml" -->
</body>
projects / helm.git / blobdiff