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.
06-07)
- Analisi e verifica automatica di sistemi (A.A. 06-07)
- 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)
- The 14th International Static Analysis Symposium, SAS'07, Kongens Lyngby (Denmark) 22-24 August 2007
- The Sixth ASTReNet Workshop: Source Code Analysis and Manipulation for Security ASTReNet, April 02-05, London
- Planned absences
- My sister
- Fiction: U.F.O. with a great opening!