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.

My research interests concern logic programming and its application to:

Papers

People

Logic Programming

Undert Construction