|
The authors
MathQL-1is developed by Ferruccio Guidi and Irene Schena at the Department of Computer Science of the University of Bologna since April 2002. Ferruccio Guidi 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 HELM Working Group and 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 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. Contacts: fguidi@cs.unibo.it, schena@cs.unibo.it. |