Projects
Scientific coordinator of the following research projects:
-
Integrating automated reasoning in model checking: towards
push-button formal verification of large-scale and infinite-state
systems. (20079E5KM8) funded by the Italian
Ministry of Scientific and Technological Research in the
context of the PRIN'07 programme. Duration: 24 months from
September 20, 2008.
- IST FET Open Project AVISPA:
Automated Validation of Internet Security Protocols and
Applications (IST-2001-39252) funded by the European
Commission in the context of the 5th Framework Programme.
Partner Institutions: DIST, University of Genova (Prof. A.
Armando, coordinator); Eidgenoessische Technische Hochschule
Zurich, ETHZ, Switzerland (Prof. D. Basin); INRIA Lorraine,
France (Dr. M. Rusinowitch); Siemens AG, Munich, Germany (Dr.
J. Cuellar). Duration: 30 months, from January 1, 2003. In
2006 the AVISPA Project received the nomination for the
Descartes Prize for excellence in
scientific collaborative research.
- An international project for the co-tutoring of PhD
students and mutual recognition of the degree in the area of
integration of Deduction and Symbolic Computation. The
project has been funded by the Italian Ministry of Scientific
and Technological Research in the context of the Program of
Internationalisation of the Italian University System (D.M.
21.6.99, art. 7 - Internazionalizzazione, URL:
interlink.murst.it).
-
Verifica automatica dei protocolli di
sicurezza (RBAU01P5SS) funded by the Italian Ministry
of Scientific and Technological Research in the context of
the FIRB programme 2001. Partner Institutions: DIST,
University of Genova (Prof. A. Armando, coordinator);
University of Trento (Prof. F. Massacci); University of
Napoli (Prof. M. Benerecetti). Duration: 36 months, from
July 1st, 2003.
Principal investigator for DIST of the following
research projects:
-
AVANTSSAR:
Automated Validation of Trust and Security of Service-oriented
Architectures, STREP project number 216471, funded by the
EU in the context of the 7th Framework Programme, THEME
ICT-1-1.4 - Secure, dependable and trusted
Infrastructures. Duration: 36 months, from January 1, 2008.
-
Decision Procedures for Software Model
Checking (2003097383-002) funded by the Italian
Ministry of Scientific and Technological Research in the
context of the PRIN'03 programme. Duration: 24 months from
November 1, 2003.
-
AVISS: Automated Verification of Infinite State
Systems (IST-2000-26410) funded by the European Union
in the context of the Future and Emerging Technologies
Programme of the 5th Framework Programme.
-
Integration of Decision Procedures in Automated
Deduction in collaboration with Dr. Michael Rusinowitch
(INRIA Lorraine). Funded by the French Ministry of Foreign
Affairs and CRUI (Conferenza dei Rettori delle
Università Italiane) through the Italian Ministry of
Scientific and a Technological Research (MURST) in the
context of the Programme Galileo 1999.
- Research Training Network CALCULEMUS:
Systems for Integrated Computation and Deduction
(HPRNCT-2000-00102), Funded by the European Union in the
context of the Programme Improving Human Research Potential
and the Socio-Economic Knowledge Base of the 5th Framework
Program.
-
The Use of Metatheoretic and Analogical Reasoning in
Proof Planning in collaboration with Prof. Joerg
Siekmann of the Department of Computer Science of the
University of Saarbruecken o u (Germania). Funded by CRUI
(Conferenza dei Rettori delle Università Italiane)
and DAAD in a the context of the Programme Vigoni.
-
Automation of Program Synthesis in Proof-Planning in
collaboration with Prof. Alan Bundy of the Department of
Artificial Intelligence of the University of Edinburgh.
Funded by CRUI (Conferenza dei Rettori delle
Università Italiane) and the British Council in the
context of the a British-Italian Cooperation Programme for
Research and High Education.
Member of the Management Committee of the: