X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=10c0ad21270bcb9276e49de2e0eecdef675413ad;hb=c3697eaa0d45507e5dfea09171ac1b0bda73fe05;hp=f6d9ab18137de50f7f8790214524db44fd8fdf6c;hpb=670cb5c17cf59b0b7c7f3e5a5e00797780284428;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index f6d9ab181..10c0ad212 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,14 +9,33 @@ - + + +

Current team members

Andrea Asperti Full Professor
Claudio Sacerdoti Coen Researcher
Enrico TassiPhD Student
Stefano ZacchiroliPhD Student

+ +

Former members

Andrea Asperti
Claudio Sacerdoti Coen
Enrico Tassi
Stefano Zacchiroli
Ferruccio Guidi
Luca Padovani
Irene Schena

Students, developers and contributors

Pietro Di Lena
Michele Galata'.
Alberto Griggio
Matteo Selmi
Vincenzo Tamburrelli

+ +