I am 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.
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!