I am a post-doctoral researcher at the Department of Mathematics and Computer Science, University of Southern Denmark, member of the Concurrency and Logic group, and former member of the INRIA Focus, DISI Jolie Lab, and SPACES groups.
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.