Fabio Massacci

Delegato al posizionamento nazionale e internazionale dell’Ateneo

Università degli Studi di Trento

Professore ordinario

Dipartimento di Ingegneria e Scienza dell'Informazione

Via Sommarive, 5 - 38123 Povo
tel. 0461 282086
fabio.massacci[at]unitn [dot] it
| http://disi.unitn.it/~massacci/index.html

  • Nov. 03 - Habilitation as Full Professor
  • Nov. 94 - Jun 98 - Univ. of Rome I "La Sapienza", PhD in Computer Science and Engineering
  • Mar. 95 - Ordine degli Ingegneri - Chartered Engineer
  • Nov. 85 - Nov. 93 - Univ. of Rome "La Sapienza", M.Eng. in Computer Engineering
Carriera accademica ed attività didattica

  • Jan 05 – Full Professor, University of Trento Italy
  • Sep. 01 – Dec 04, - Associate Professor, University of Trento - Italy,
  • Jun. 00 - Dec. 00 - Visiting Researcher - IRIT - CNRS, Toulouse – France
  • Mar 99- Habilitation as United Nations Functionnarie – Level P2
  • Feb 99 – Aug.01 - Assistant Professor, University of Siena - Italy
  • Jan. 98 – Feb. 99, Postdoctoral Fellow, CNR, Rome, Italy
  • Nov. 97 – Dec 99, Research Associate on project by ASI, Univ. of Roma I "La Sapienza"
  • Feb. 96 - Feb. 97, Visiting Student, Computer Laboratory, Univ. of Cambridge
Interessi di ricerca
Fabio Massacci main research interests are in the field of Automated Reasoning and Formal Methods, Security Engineering and Verification, Security and Trust Management for Autonomic Systems.
Attività di ricerca
Fabio Massacci main research interests are in the field of Automated Reasoning and Formal Methods, Security Engineering and Verification, Security and Trust Management for Autonomic Systems.


As principal investigator:

  • EU-FP7-IST-IP MASTER 2008-2010 - Managing Security and Trust for Services (European Scientific Coordinator) - funding 900K€
  • EU-FP6- IST-STREP S3MS 2006-08 –Security of Software and Services for Mobile Systems (european Coordinator) -funding 2.4M€
  • EU-FP6- IST-IP SERENITY 2006-08 –Security and Dependability Engineering - funding 586K€
  • PAT-FU 2004-2007 - Modelling Security and Trust Relationships within Organizations - funding 81K€
  • MIUR-FIRB 2004-06 - Automatic Verification of Internet Security Protocols - funding 92K€
  • ASI-DOVES 2003 - On-board Autonomy: a platform for the Develop. Of VErified Software - funding 29K€




  • 2004 – present, SINTEF, Norway, visiting guest scientist for DIGIT Centre of Excellence
  • 2005 - present, Ministry of Industry (MAP) - Industrial research and develop. projects evaluation
  • 2006 – EU INTAS - reviewer
  • 2006 - CNRS (Franch National Research Council) and French Foreign Affairs Ministry – reviewer
  • 2006-present - NWO (Dutch Research Council) – reviewer
  • 2006-present – MAP (Ministry of Industry) – reviewer


  • Associate Editor: JANCL (Taylor&Francis)
  • Conference Chair: IJCAR’01, iTrust’06
  • Programme Committee chair of QoP’05 (Springer), QoP’06 (ACM)
  • Programme Committee of AAAI’98 (MK), CADE’02-04 (Springer), ER’04-05 (Springer), ESORICS'07, i-TRUST’04-05-06 (Springer), ICICS’04 (Springer), ICSOC’03-04 (Springer), ICISS’05-06 (Springer), IEEE CSFW’03 (IEEE), IEEE SecureComm’05-06-07 (IEEE), TABLEAUX’98-99-02-03 (Springer), TrustBus’06 (Springer), WPES'07 (ACM)
Appartenenza a società e comitati scientifici
Member of the ACM, IEEE and Chartered engineer.
Premi e riconoscimenti

  • Aug. 2015 - 10 years Most Influential Paper Award - IEEE Requirements Engineering Conference
  • Sep. 2001 - Intelligenza Artificiale" prize by the Italian Association of Artificial Intelligence (AI*IA) for young researchers in AI under 35
  • Feb. 99 Postdoctoral Fellowship (for Italy), CNR
  • Dec. 97 Postdoctoral Fellowship (for Italy), CNR
  • Jan. 99 Postdoctoral Visiting Fellowship (for visiting CNRS-FR), CNR
  • Mar. 00 Postdoctoral Visiting Fellowship (for visiting CNRS-FR), CNR
  • Oct. 99 Short-Term Visiting Fellowship (for visiting Univ. Koblenz-DE), CNR
Convegni e conferenze
Has been invited speaker at the security session of MFPS, FCS and Verify-02 ed has kept an invited tutorial at TABLEAUX-98, IJCAI-03, IEEE RE-06 (jointly with N. Zannone and J. Mylopoulos), at ESSLI-05 (with H. koshutanski) at the International School on Foundations of Security Analysis and Design FOSAD-01 and 05.
Altre attività
He has been member for 4 years of the European Executive of Service Civil internazionale (International NGO with consultive status at UNESCO and Council of europe and member of the European Youth Forum), he has also been European Treasurer since 1991 till 1994.
he has been national treasurer of ICS (Consorzio Italiano di Solidarietà) in 1994.