X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=dae6c19d49d511a3cc5b6bf647267405b806b299;hb=9faea203fd99a44d75ea8bcd15b59942a4226922;hp=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 74b2037d6..dae6c19d4 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,15 +1,15 @@ - - + + - Matita - Development + Matita Developers

-

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
Claudio Sacerdoti Coen - Lecturer
Enrico Tassi - PhD

Former members

Stefano Zacchiroli - PhD
Luca Padovani - Lecturer
Irene Schena - PhD
Pietro Di Lena - Master Student