Write a Blog >>

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

POPL 2016-profile
View general profile