Personal profile
Current external positions
President, Microservices Community
2019 → …
Keywords
- Programming Languages And formal Models
- Choreographic Programming
- Session Types
- Linear Logic
- Type Systems
- Process Calculi
- Concurrency
- Formal Methods
- Compilers And Interpreters
- Jolie
- Distributed Systems
- Cloud Computing
- Edge Computing
- Microservices
- Cybersecurity
- Security by design
- Web Services
- Network Protocols
- Choreographies
- Service Choreography
- Reliable Protocol Implementations
Gallery
Fingerprint
- 1 Similar Researchers
Research output
-
Introduction to Choreographies
Montesi, F., May 2023, Cambridge University Press. 253 p.Research output: Book/report › Monograph › Research
-
Choreographic Programming
Montesi, F., 2013, IT-Universitetet i København. 276 p.Research output: Thesis › Ph.D. thesis
-
Choral: Object-oriented Choreographic Programming
Giallorenzo, S., Montesi, F. & Peressotti, M., 16. Jan 2024, In: ACM Transactions on Programming Languages and Systems. 46, 1, 59 p., 1.Research output: Contribution to journal › Journal article › Research › peer-review
-
Service-Oriented Programming with Jolie
Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. p. 81-107 27 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Microservices: Yesterday, today, and tomorrow
Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
File668 Downloads (Pure)
-
EU - Horizon Europe - ERC - Consolidator Grant - Choreographies for Distributed Systems (CHORDS)
Montesi, F. (PI)
01/06/2024 → 31/05/2029
Project: EU
-
X-IDF: X-IDF: Explainable Internet Data Flows
Montesi, F. (PI) & de Vreese, C. H. (PI)
02/09/2022 → 02/09/2026
Project: Private Foundations
-
Cybersikkerhed og Forretningskontinuitet
Stentoft, J. (Project manager), Schmitt, O. (Project participant), Keating, V. (Project participant), Theussen, A. (Project participant), Peressotti, M. (Project participant), Mayer, P. (Project participant), Montesi, F. (Project participant) & Unwerawattana, N. (Project participant)
01/09/2023 → 31/07/2026
Project: Research
-
Choco: Choco: Choreographies for connected IT systems
Montesi, F. (PI)
01/05/2020 → 30/06/2025
Project: Private Foundations
-
Language Support for Microservices Development
Picotti, V. (PhD student), Montesi, F. (Principal supervisor) & Peressotti, M. (Co-supervisor)
29/10/2020 → 25/11/2024
Project: PhD Project
Datasets
-
Microservice Security: A Systematic Literature Review, dataset
Berardi, D. (Creator), Giallorenzo, S. (Creator), Mauro, J. (Creator), Melis, A. (Creator), Montesi, F. (Creator) & Prandini, M. (Creator), Zenodo, 20. May 2021
Dataset
-
Keep me out of the loop: a more flexible choreographic projection
Cruz-Filipe, L. (Creator), Fabrizio (Creator) & Robert, R. (Creator), Zenodo, 17. Mar 2023
Dataset
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Creator), Montesi, F. (Creator) & Peressotti, M. (Creator), Zenodo, 5. Sept 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Dataset
Press/Media
-
SDU er part i det internationale CSLib-projekt
15/04/2026
1 Media contribution
Press/Media: Press / Media
-
SDU med i nyt globalt initiativ som vil gøre software og AI matematisk sikre
23/03/2026
1 Media contribution
Press/Media: Press / Media
-
PRM / SDU med i nyt globalt initiativ som vil gøre software og AI matematisk sikre
19/03/2026
1 Media contribution
Press/Media: Press / Media
-
SDU med i nyt globalt initiativ som vil gøre software og AI matematisk sikre
19/03/2026
1 Media contribution
Press/Media: Press / Media
-
Tre mediehuse deler erfaringer og får nyt AI-værktøj fra stort forskningsprojekt
13/02/2025
1 Media contribution
Press/Media: Press / Media
Prizes
-
Best Artefact Award
Giallorenzo, S. (Recipient), Montesi, F. (Recipient), Peressotti, M. (Recipient), Rademacher, F. (Recipient) & Unwerawattana, N. (Recipient), 22. Jun 2023
Prize: Prizes, scholarships, distinctions
-
Distinguished Paper Award
Giallorenzo, S. (Recipient), Montesi, F. (Recipient), Peressotti, M. (Recipient), Salvaneschi, G. (Recipient), Weisenburger, P. (Recipient) & Richter, D. (Recipient), 2021
Prize: Prizes, scholarships, distinctions
-
Innovation Prize (Innovationspris)
Montesi, F. (Recipient), 2017
Prize: Prizes, scholarships, distinctions
-
Best Ph.D. Award - European Association for Programming Languages and Systems (EAPLS)
Montesi, F. (Recipient), 2015
Prize: Prizes, scholarships, distinctions
-