Associate
Professor, DISI, Università di Genova, via Dodecaneso 35,
16146 Genova - Italia
Office 207
Phone:++39-10-3536607
Fax: ++39-10-3536699
Mail: giorgio <at> disi.unige.it
Picture, CV, Erdos number: 4
Teaching & student
projects
Corso di Sistemi
Operativi 1 (2003/..)
Corso di IA 2
(2003/..)
Research
Automated Verification, Model Checking, Infinite-state Systems, Models for
Concurrent and Biological Systems
Automated Verification of
Parameterized Systems
Verification of Cache Coherence
Protocols
Babylon: Specialized Data Structures for
Infinite-state Verification
Constraint-based Symbolic Model
Checking: DMC
Publications
Professional
activities
CoVer (PRIN 2002-04)
Deduction-based decision procedures for program
analysis(PRIN
2003-05)
AIDA (PRIN 2004-06)
AVISPA (IST
Fet Open 2001-39252
Vincoli e preferenze (PRIN 2005-07)
Forthcoming Events (PC member)
PADTAD 2009
FCT 2009
TACAS 2010