Research
- Research interests and CV
- Papers available on-line
- Projects
- The (enlarged) Formal Methods Group in Verona and the SPY Lab
- The Systems Biology Group in Verona.
Teaching & Duties (in Italian)
- Fondamenti dell'Informatica (A.A.
07-08)
- Analisi e verifica automatica di sistemi (A.A. 07-08)
- PhD Course in Abstract Interpretation (2004)
- Tesi di laurea disponibili
Specials
- Intranet, Web-mail, and Gmail
- Studying Computer Science by ACM!
- Other related pointers
- MiDiTalks Midday Doctoral Talks in Verona (and the old Joint Seminars in Padova)
- 30 Years of Abstract Interpretation, 30YAI, January 09 2008, San Francisco USA, co-located with POPL'08
- The 15th International Static Analysis Symposium, SAS'08, Valencia (Spain) 16-18 July 2008
- Planned absences
- Luca
- My sister and her trekearth
- Fiction: U.F.O. with a great opening!