I am an assistant professor (tenure-track) at the Department of Computer Science and Engineering, Università di Bologna, member of the Olas team, INRIA, and former member of the Focus team, INRIA, Concurrency and Logic, the DISI Jolie Lab, and the SPACES research 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, Dynamic Adaptability, and Security.
Some topics I am also interested in:
I also love board games, cooking, reading (books and comics), and playing the piano and the drum.