what is this?

Emanuele D'Osualdo

Researcher in Computer Science

Welcome to my homepage!
I am a Postdoctoral Researcher in Theoretical Computer Science at MPI-SWS Saarbrücken, working with Derek Dreyer. Until September 2020 I was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner.

Contact me I am actively looking for faculty positions: contact me if you think I could be a good fit!

My research interests include Programming Languages, Verification, Security, Concurrency Theory, Types, Static Analysis, Process Algebra, Model Checking.

News See all