Matita Development
+ +Matita Developers
The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -15,17 +17,20 @@ Matita what it looks today. In this page we tried to summarize all of them, we apologize for whom we forgot to mention.
-Current team members
--
+
+
- Andrea Asperti - Full Professor +
- Ferruccio Guidi - PhD +
- Wilmer Ricciotti - PhD Student
- Claudio Sacerdoti Coen - Lecturer -
- Enrico Tassi - PhD Student -
- Stefano Zacchiroli - PhD Student +
- Enrico Tassi - PhD
- Ferruccio Guidi - PhD +
- Stefano Zacchiroli - PhD
- Luca Padovani - Lecturer
- Irene Schena - PhD
- Pietro Di Lena - Master Student @@ -34,8 +39,8 @@
- Matteo Selmi - Master Student
- Vincenzo Tamburrelli - Master Student
People
+Current team members
+Former members
--
-
Former members
+-
+