[AI-LAB] Artificial Intelligence Laboratory - Directory : Jacopo Mantovani : Research

Both as PhD student and as Post-doc researcher, my interests were in the formal verification of software.

I was involved in the following projects:

the EUREKA project on Model-Checking C programs, together with Alessandro Armando and Massimo Benerecetti.
the SLAyer project on program termination analysis, together with Byron Cook and Josh Berdine.
an italian project called Deduction-based decision procedures for program analysis. Project Coordinator was Maria Paola Bonacina.
a european IST-FET Open Project called AVISPA (Automated Validation of Internet Security Protocols and Applications). Project Coordinator was Alessandro Armando.
a project called V@PSI, Verifica Automatica di Protocolli di Sicurezza per Internet (Automated Verification of Internet Security Protocols). Project Coordinator was Alessandro Armando.

AI-Lab