Education

Associate professor
Università di Verona, since October 2006.

Habilitation in Informatik
Albert-Ludwigs-Universität Freiburg, 2003.

Promotion in Informatik (Dr.-Ing.; PhD in computer science)
Universität des Saarlandes, 5. September 1997.
Thesis: A Framework for Non-Classical Logics.
Supervisors: David Basin, Seán Matthews, Harald Ganzinger.

Esame di Stato per l'abilitazione alla professione di Ingegnere (State professional qualifying examination in engineering).
Università di Genova, January 1995.

Laurea in Ingegneria Elettronica (MSc in Electronic Engineering)
Università di Genova, 27. January 1994.
Thesis: Sintesi ed esecuzione di strategie di prova nella metateoria formale di un dimostratore interattivo (Synthesis and execution of proof strategies in the formal metatheory of an interactive theorem prover).
Supervisors: Mauro Di Manzo, Fausto Giunchiglia, Alessandro Armando.


Last modified: Sat Jan 13 11:59:13 CET 2007