Main projects
- AFOSR ODIN : Abstract Interpretation Driven Programming Languages (2023-2028, Tot. $839,740).
- ASPRA: Analysis of Program Analyses. (2019-2022) with U. Padova, Pisa and Bologna. (Tot: 862KEuro)
- ATEN Cyberspace Surveillance Technologies (2018-2021) Fondazione CARIVERONA (413KEuro).
- FACE: Formal Avenue for Chasing malwarE (2014-2017).Verona and Politecnico di Milano (500KEuro)
- AIDA2 Abstract Interpretation Design and Applications (2008-2010)
Progetto MIUR COFIN coordinato tra le università di Padova (coordinatore), Parma, Verona. (Tot: 60KEuro) - SHADOWCODE -- Progetto sulla Protezione del Software (2006-2007)
Progetto della Regione Veneto in coordinamento con il Consorzio VITA. (Tot: 40KEuro)
Il Gruppo di sviluppo. - AIDA Abstract Interpretation Design and Applications (2005-2007)
Progetto MIUR COFIN coordinato tra le università di Bologna, Padova, Parma, Pisa, Udine, Venezia, Verona (coordinatore). (Tot: 244KEuro) - (SPY-Mod) Abstract interpretation and model checking for the verification of embedded systems (2003-2005)
Progetto FIRB (Basic Research) coordinato tra le università di Padova (coordinatore), Venezia, Verona. (Tot: 200KEuro) - CoVer: Constraint-based Verification of Reactive systems (2002-2004)
Progetto MURST coordinato tra le università di Bologna (coordinatore nazionale), Genova, Padova, Parma, Udine, Verona, CNR-IEI-CNUCE Pisa. - Abstraction for verification (jointly with Max Plank Institute - Saarbrucken), German-italian action VIGONI, CRUI, 2002-2003.
- Abstract Interpretation, type systems and control-flow analysis (2000-2002)
Progetto MURST coordinato tra le università di Pisa (coordinatore nazionale), Torino, Venezia, Verona. - Certificazione automatica di programmi mediante interpretazione astratta (1999-2001).
Progetto MURST coordinato tra le università di Parma, Pisa, Udine, Venezia, Verona (coordinatore nazionale) (Tot: 411MIL). - Security analysis by abstract interpretation (jointly with ENS - Paris), Franco-italian action Galileo 1999-2000.
- Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software (1997-99).
Progetto MURST coordinato. - Formal Parallel Computing Environments (PARFORCE)
Progetto EU: BRA-Esprit II Project n. 6707, (1992-96).
