About
This page provides an overview of my professional roles, affiliations, and qualifications. If you need a short summary bio for publication (news, etc.), please see the end of the page.
Positions and Affiliations
Academic Positions
Research Leadership and Management Positions
Community, Industry, and Open Source Positions
Education
- 2013
- Ph.D. Degree in Computer Science, IT University of Copenhagen.
- 2010
- M.Sc. Degree in Computer Science, University of Bologna.
Awards and Honours
- 2023
-
ERC Consolidator Grant, European Research Council.
For the project Choreographies for Distributed Systems: Reasoning, Expressivity, and Development (CHORDS).
Announcement
- 2023
-
Best Artefact Award, COORDINATION.
For the paper JoT: A Jolie Framework for Testing Microservices.
- 2021
-
Distinguished Paper Award, ECOOP.
For the paper Multiparty Languages: the Choreographic and Multitier Cases.
- 2020
-
Villum Young Investigator, Villum Foundation.
For the project Choreographies for Connected IT Systems.
Announcement 1,
Announcement 2,
Announcement 3
- 2017
-
Innovation Award, University of Southern Denmark.
An award for research-based innovation given to a single researcher at the whole University every year.
Announcement (DK), Award Description (DK)
- 2015
-
Best Ph.D. Dissertation Award, European Association for Programming Languages and Systems (EAPLS).
For the Ph.D. work on Choreographic Programming.
Announcement
- 2013
-
Best Poster Award, ACM Symposium on Applied Computing.
For the single-author paper Process-aware web programming with Jolie (extended version).
Announcement
- 2011
-
Best M.Sc. thesis on ICT, national award by the General Confederation of Italian Industry.
For the M.Sc. work on the Jolie programming language (see the thesis).
Announcement (IT)
Short Bio
Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark (SDU) and Chair at the Danish Institute for Advanced Study (DIAS).
He is Director of FORM – the Centre for Formal Methods and Future Computing – and Head of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages at SDU.
His work focuses on programming languages and systems, formal methods and reasoning, distributed systems, and trustworthy computing, with particular contributions to choreographic programming, microservices, and the verification of computer systems.