Emanuele D'Osualdo

Researcher in Computer Science

Short Bio

I am a Marie-Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.

From 2017 to 2018 was a Research Associate in Philippa Gardner's group at Imperial College London. 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!