Fabrizio Montesi
Director at Centre for Formal Methods and Future Computing (FORM)
Odense, Region of Southern Denmark, Denmark
Summary
👤
Senior🎓
Top SchoolFabrizio Montesi is a computer science professor and director with 19 years’ experience specializing in formal methods, programming languages, and dependable distributed systems. He leads the Centre for Formal Methods and Future Computing and holds a chair at DIAS while serving as Full Professor and former section head at the University of Southern Denmark. His research blends choreographic language design, runtime execution for concurrent sessions, and static analyses to guarantee deadlock-freedom and protocol compliance in large-scale networked software. He founded and still leads the Jolie project and helped commercialize service-oriented solutions via italianaSoftware, bridging academic theory with practical, open-source tooling. An active community builder, he presides over the Microservices Community and brings a rare combination of rigorous formal foundations and hands-on system-building to make distributed systems safer and more maintainable. Notably, his work targets not just correctness but also performance and reuse at internet scale, aiming to keep complex networked services affordable and reliable.
19 years of coding experience
8 years of employment as a software developer
MSc Computer Science, MSc Computer Science at University of BolognaDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at IT-Universitetet i København
Italian, English, Danish
Stackoverflow
181reputation
2kreached
8answers
0questions
Github Skills (67)
programming-language10
interpreter10
microservices10
compiler10
jolie10
bed10
documentation10
gitbook10
intellisense10
atom-editor9
atom-plugin9
vscode9
api8
javascript8
visual-studio8
Programming languages (9)
Github contributions (5)
fmontesi/website
Jun 2016 - Mar 2023
Fabrizio's personal website
Contributions:320 commits, 1 PR, 461 pushes in 6 years 10 months
fmontesi/linter-jolie
Aug 2015 - Apr 2019
Contributions:30 commits, 26 pushes, 1 branch in 3 years 8 months
linteratomatom-linterjolie
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.