X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fauthors.html;h=222216cdb477330c321a3a5ad49ed9060116de42;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=16661199a016d464575fa766a6da1089bdf78f53;hpb=615085e49ce7a1ad3ee9c4933aed7faa8d93dec0;p=helm.git
diff --git a/helm/mathql/homepage/authors.html b/helm/mathql/homepage/authors.html
index 16661199a..222216cdb 100644
--- a/helm/mathql/homepage/authors.html
+++ b/helm/mathql/homepage/authors.html
@@ -76,7 +76,7 @@
2002.
Ferruccio Guidi obtained a Master degree in Mathematics
-at the Univerity of Padova and a PhD in Computer Science at the University
+at the University of Padova and a PhD in Computer Science at the University
of Bologna. His research interests include computer-assisted proof development,
Martin-Löf type theory and substructural logic. He is a member of
the HELM Working Group and
@@ -84,8 +84,8 @@ of the "Paulus Venetus"
Research Group in Logic.
Irene Schena obtained a Master Degree in Computer Science
-and a Ph.D. in Computer Science at the Univerity of Bologna. Her research
-interests include Linear Logic and Web Tecnologies. She is a member of the
+and a Ph.D. in Computer Science at the University of Bologna. Her research
+interests include Linear Logic and Web Technologies. She is a member of the
HELM Working Group and of the
W3C Math Working Group.