Emanuele D'Osualdo

Researcher in Computer Science

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!


Email emanuele.dosualdo
Max Planck Institute for Software Systems
Campus E1.5
66123 Saarbrücken, Germany

You can find me on:

About this website

This website has been created using Skeleton, Jekyll and hosted by GitHub.

Opinions expressed are solely my own and do not express the views or opinions of my employer.

This website uses cookies, see our policy.