Research
Teaching (in italian)
Specials and pc member
- Member of the ERC (External Review Committee) of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'13, 2013
- 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR'12, 2012
- 21st European Symposium on Programming ESOP'12, 2012
- 26-esimo Convegno Italiano
di Logica Computazionale, CILC'11, 31 Agosto - 2 Settembre 2011, Pescara
- International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency, SUMo'11, Japan, June 21, 2011
- The 17th International Static Analysis Symposium, SAS'10, Perpignan, France, September 14-16 2010
- ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008), PLAS'08, Tucson, Arizona, June 2008
- Thirty years of Abstract Interpretation (30YAI), 30YAI, San Francisco, California, January 9,
2008
- 3rd International Workshop on Programming Language Interference and Dependence (PLID), PLID'07, Kongens Lyngby, Denmark, 21 August, 2007
- Intranet, Web-mail, and Gmail
- Other related pointers
- Personal Interests
- Pictures
''There are more things in
heaven and earth,
Horatio, than are dreamt of in our philosophy''
[William Shakespeare, Hamlet]
