Emanuele De Angelis's Home page

Computer Science Ph.D. student at the University "G.d'Annunzio" of Chieti-Pescara

Room 7 - Department of Science

Viale Pindaro, 87

I-65127 Pescara (ITALY)

phone:

fax:

email:

(+39) 085 45 37 692

(+39) 085 45 49 755

Here is my GnuPG public key (?

)

Research associate at IASI - CNR of Rome and member of the MAP group.

I am doing my Ph.D. 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 was done under the supervision of Alberto Pettorossi and Maurizio Proietti.

Research

Miscellanea Links Events Top

My research interests concern logic programming and its application to:

automatic synthesis and verification of reactive systems, and
static program analysis and software model checking.

Papers

De Angelis, E., Pettorossi, A., Proietti,M.: Synthesizing Concurrent Programs using Answer Set Programming In: M.Szczuka, L. Czaja, A. Skowron, and M. Kacprzak (Eds.), Proceedings of the International Workshop on on Concurrency, Specification, and Programming (CS&P2011), September 28-30, 2011, Pułtusk, Poland, pp. 85-98. (Also presented at the CILC-2011, 26-esimo Convegno Italiano di Logica Computazionale, 31 Agosto - 2 Settembre 2011, Pescara.)

Events

Miscellanea Links Research Top

CILC 2012 (Convegno Italiano Logica Computazionale), 6 - 7 June, Rome, Italy
CS&P 2011 (Concurrency Specification & Programming), 28 - 30 September 2011, Pultusk, Poland
CILC 2011 (Convegno Italiano Logica Computazionale), 31 August - 2 September, Pescara (PE), Italy
ISCL 2011 (International School Computational Logic), 10 - 15 April 2011, Bertinoro (FC), Italy

Links

Miscellanea Events Research Top

People

Fabio Fioravanti (Ph.D. Advisor) - University "G.d'Annunzio" of Chieti-Pescara
Alberto Pettorossi, DISP - University of Rome "Tor Vergata"
Maurizio Proietti, IASI - CNR of Rome
Valerio Senni, DISP - University of Rome "Tor Vergata"

Logic Programming

Miscellanea

Links Events Research Top