Marco started following the work of Gennaro Carotenuto, University of Macerata, Dipartimento di Filosofia e Scienze Umane.
Marco started following the work of Nicola Ciccoli, University of Perugia, Dipartimento di Matematica e Informatica.
Marco started following the work of Isabella Gagliardi, University of Florence, Italy, Department of Historical and Geographical Studies.
Faculty Member, Faculty of Mathematics and Physical Sciences
Università degli Studi dell'Insubria, Department of Informatics and Communication
Assistant Professor
About
Assistant professor in the Computer Science Department of università degli Studi dell'Insubria since 2001, my research interests lie in Mathematical Logic, Constructive Mathematics and their applications to Computer Science.
Currently, I'm on a sabbatical leave in the Department of Pure Mathematics, University of Leeds, as a Marie Curie Research Fellow. Here, I'm working on Grothendieck topoi and their relations with predicative theories, especially interested in the computability aspects.
Currently, I'm also continuing to work on the related topic of Constructive Linguistics.
Contact Information
| Address: | via Mazzini 5, I-21100 Varese, Italy |
