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.