Laurea in Ingegneria Informatica (MSc in Computer Science Engineering)
Università di Genova, 23 December 2000
Thesis: QuBE: un decisore efficiente per formule booleane Quantificate.
Supervisors: Mauro Di Manzo and Enrico Giunchiglia
Co-Supervisor: Armando Tacchella.