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.
More info I am actively looking for PhD Students and PostDocs to join my research group!
My research interests include Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, Model Checking.
News • See all
-
I am attending POPL’25. Our Bluebell paper is going to be presented on Thursday!
-
New POPL paper: Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
-
I started a Tenure-Track Professorship at the University of Konstanz!
-
I will attend the Dagstuhl seminar on Next Generation Protocols for Heterogeneous Systems.
DBLP