I am a post-doctoral researcher at the Department of Mathematics and Computer Science, University of Southern Denmark, member of the Concurrency and Logic research group, external collaborator of the INRIA Focus research group, and former member of the DISI Jolie Lab and SPACES teams.
I obtained my PhD in 2016 with the thesis Real-World Choreographies, on how to implement correct real-world distributed systems through the choreographic programming paradigm. I was supervised by Maurizio Gabbrielli and Fabrizio Montesi.
My current research interests regard Programming Languages, Process Calculi, Choreographic Programming, Microservices, Session Types, and Dynamic Adaptability.
Some fields I am also interested in are (randomly ordered):
- distributed and cloud systems;
- web technologies;
- game theory;
- wireless networks;
- functional programming;
- any-sort-of life-hacking and DIY projects.
I also love boardgames, cooking, reading (books and comics), and playing piano and the drum.