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.
05-06)
- Linguaggi di programmazione (A.A.
04-05)
- Analisi e verifica automatica di sistemi (A.A. 05-06)
- PhD Course in Abstract Interpretation (2004)
- Tesi di laurea disponibili
Specials
- Intranet, Web-mail, and Gmail
- Other related pointers
- Joint Seminars in Padova (... and the good old ones)
- The 13th International Static Analysis Symposium, SAS'06, Seoul (South Korea) 29-31 August 2006
- The Sixth ASTReNet Workshop: Source Code Analysis and Manipulation for Security ASTReNet, April 02-05, London
- The 1st International Workshop on Emerging Applications of Abstract Interpretation, EAAI'06, Vienna (Austria), March 26th 2006.
- The 11th International Static Analysis Symposium, SAS'04, Verona (Italy) August 26-28, 2004 (Special Issue on Science of Computer Programming)
- Planned absences
- My sister
- Fiction (...coming soon!)