Registered user since Fri 20 Nov 2015
I received my Ph.D. degree in Computer Science from the University “G. D’Annunzio” of Chieti-Pescara 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 Prof. Fabio Fioravanti and Dr. Maurizio Proietti. I received my master 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 Prof. Alberto Pettorossi, and Dr. Maurizio Proietti.
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile