Matita Developers

The origins of Matita go back to 1999 and are intertwined with the HELM Project. 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.

People

Current team members

• Andrea Asperti - Full Professor
• Claudio Sacerdoti Coen - Lecturer
• Ferruccio Guidi - PhD
• Enrico Tassi - PhD Student
• Stefano Zacchiroli - PhD Student

Former members

• Luca Padovani - Lecturer
• Irene Schena - PhD
• Pietro Di Lena - Master Student
• Michele Galatá - Master Student
• Alberto Griggio - Master Student
• Matteo Selmi - Master Student
• Vincenzo Tamburrelli - Master Student