Research associate at IASI - CNR of Rome and member of the MAP group.
phone:
fax:
email:
(+39) 06 77 16 437
(+39) 06 77 16 450
email

I earned my Ph.D. degree in Computer Science from the University of Chieti-Pescra "G. d'Annunzio" in April 2014 defending a thesis entitled "Software Verification and Synthesis using Constraints and Program Transformation". The thesis work has been done under the supervision of Fabio Fioravanti and Maurizio Proietti.

I received my Master's Degree in Computer Science Engineering from the University of Rome "Tor Vergata" in May 2010 defending a thesis entitled "Synthesis of Reactive Systems using Answer Set Programming". The thesis work has been done under the supervision of Alberto Pettorossi and Maurizio Proietti.

My research interests concern logic programming and its application to:

Papers

Talks

People

Logic Programming