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.

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

News See all