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 associate 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

Intermediate and constructive logics
Proof theory of constructive formal systems
Automated deduction

Publications

Papers and Reports
JTabwb: a Java framework for developing provers
Other software
PhD Thesis

Teaching (in italian)

Programmazione 2 (CdL Matematica, a.a. 2024/25, primo semestre).
Programmazione Dichiarativa (secondo semestre) (CdL Informatica, a.a. 2024/25, secondo semestre).
Laboratorio del corso di Logica. (Cdl Informatica, a.a. 2024/25, secondo semestre).

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