About

Table of Contents (click to show)

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.