- <br>
- <b>Ferruccio Guidi</b> obtained a degree in Mathematics at the Univerity
- of Padova and now is a PhD student 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
- <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
- <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus" Research
-Group in Logic</a>.<br>
- <br>
- <b>Irene Schena</b><br>
- <br>
- <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,
+ <br>
+ <b>Ferruccio Guidi</b> obtained a degree in Mathematics at the
+Univerity 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 <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and
+of the <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus"
+Research Group in Logic</a>.<br>
+ <br>
+ <b>Irene Schena</b><br>
+ <br>
+ <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,