Matita Development
+Matita Developers
The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -22,14 +22,15 @@
Current team members
- Andrea Asperti - Full Professor -
- Claudio Sacerdoti Coen - Lecturer
- Ferruccio Guidi - PhD -
- Enrico Tassi - PhD Student -
- Stefano Zacchiroli - PhD Student +
- Wilmer Ricciotti - PhD Student +
- Claudio Sacerdoti Coen - Lecturer +
- Enrico Tassi - PhD
Former members
-
+
- Stefano Zacchiroli - PhD
- Luca Padovani - Lecturer
- Irene Schena - PhD
- Pietro Di Lena - Master Student