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