Registered user since Wed 13 Nov 2024
Name:Emanuele D'Osualdo
Bio:
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.
Country:Germany
Affiliation:University of Konstanz
Personal website: https://www.emanueledosualdo.com/
Research interests:Verification, Logic, Types, Concurrency, Security
Contributions
Using general profile