Short Bio
I am a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz.
Until April 2024, I was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, working on verification of concurrent software with Derek Dreyer.
Until September 2020 I was a Marie Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.
From 2015 to 2017 I was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer.
In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford. My supervisor was Prof. C.-H. Luke Ong. My dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.
Previously, I did my undergraduate and master's studies at the University of Udine, Italy, graduating with honors. My studies were supported by the Scuola Superiore scholarship.
Chances are that if you made it this far you may be wondering "How on earth is his name pronounced?" Click here to hear it pronounced out loud!