what is this?

Emanuele D'Osualdo

Researcher in Computer Science

Welcome to my homepage!
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 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 PhD Students and PostDocs: apply here or contact me if you think you could be a good fit!

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

News See all