Post-doc at MAP Research Center for Advanced Programming Methodologies Dipartimento di Informatica, Sistemi e Produzione Universtà di Roma "Tor Vergata"
Research Associate at Istituto di Analisi dei Sistemi ed Informatica Consiglio Nazionale delle Ricerche Download my CV: ita, eng.
Download my CV: ita, eng.
Papers
Talks
Projects
MAP Transformation System
Program Transformation
Logic Programming
LOPSTR 2012, Leuven, Belgium
CILC 2012, Rome, IT
CILC 2011, Pescara, IT
MAPweb Beta 1 released! Specialization-based Analysis of Infinite State Transition Systems
Alberto Pettorossi
Maurizio Proietti
GULP: The Italian Association for Logic Programming
The Association for Automated Reasoning
Some Useful Links
How to contact me
ALP newsletter
Reachability Analysis via Specialization (ALP news)