Camillo Fiorentini

I received my MS (Laurea) in 1993 and my PhD in 2000 both in Computer Science from University of Milano. Presently I am an assistant professor at the Computer Science Department of University of Milano (DI).

Past Events

Lecturer at ESSLLI 2021 (32nd European Summer School in Logic, Language and information, virtual), with the introductory course Semantics based proof-search methods for non-classical logics,

Current interests


Teaching (in italian)

Dipartimento di Informatica
Via Celoria 18, 20133 Milano - ITALY
Office 4012 (fourth floor)
Tel.: +39 02.503.16269
Fax: +39 02.503.16373