Professor

Roberto Giacobazzi

---

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. 04-05)
• 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 11th International Static Analysis Symposium, SAS'04, Verona (Italy) August 26-28, 2004 (Special Issue on Science of Computer Programming)
• Seventh International Conference on Verification, Model Checking and Abstract Interpretation VMCAI'06, Charleston (USA), January 8-10, 2006
• Planned absences
• Some pictures
• My sister
• Fiction (...coming soon!)

''Il pensiero astratto è per molti una fatica - per me, in giorni propizi, una festa ed una ebbrezza.''
[Nietzsche, Unveroffentlichtes aus der Umwerthungszeit 1882/88]