Research
Teaching (in italian)
Specials
- Intranet, Web-mail, and Gmail
- 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
- 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]
