- </div>
- <br>
- MathQL-1is developed by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
-Guidi</a> and <a href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a>
-at the <a href="http://www.cs.unibo.it/">Department of Computer Science</a>
-of the <a href="http://www.unibo.it/">University of Bologna</a> since April
-2002.<br>
- <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>,
- <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
- </td>
- </tr>
-
- </tbody>
+ </div>
+ <br>
+ MathQL-1is developed by <a
+ href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio Guidi</a> and <a
+ href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a> at the <a
+ href="http://www.cs.unibo.it/">Department of Computer Science</a> of the
+ <a href="http://www.unibo.it/">University of Bologna</a> since April
+ 2002.<br>
+ <br>
+ <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics
+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 <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> obtained a Master Degree in Computer Science
+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
+ <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
+ <a href="http://www.w3c.org/Math">W3C Math Working Group</a>.<br>
+ <br>
+ <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,
+ <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
+ </td>
+ </tr>
+
+ </tbody>