Registered user since Fri 20 Nov 2015
Name: Emanuel De Angelis
Bio: 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.
Affiliation: University of Chieti-Pescara
Personal website: http://www.sci.unich.it/~deangelis/
POPL 2016 Activities
View general profile