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
-
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.