Dipartimento di Matematica, Università degli Studi di Milano, Italy
Mathematical logic, category theory, automated reasoning