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
-
I started a Tenure-Track Professorship at the University of Konstanz!
-
I will attend the Dagstuhl seminar on Next Generation Protocols for Heterogeneous Systems.
-
I will attend POPL’24 in London.
-
Giving a PoP seminar talk at CMU.
DBLP