Short Bio

I am a postdoc researcher at the Department of Mathematics and Computer Science, University of Southern Denmark, member of the Concurrency and Logic group, and former member and external collaborator of: INRIA Focus, DISI Jolie Lab, and SPACES.

I did my PhD under the supervision of prof. Maurizio Gabbrielli and prof. Fabrizio Montesi. I graduated in 2016 with the thesis Real-World Choreographies on how to implement correct real-world distributed systems following the choreographic programming paradigm.

Choreographic Programming · Microservices · Service-Oriented Computing · Session Types · Dynamic Adaptability