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 am attending POPL’26. Our RapunSL paper is going to be presented on Wednesday!
-
New POPL paper: RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
-
I’m giving a talk at the Zukunftkolleg Jour Fixe!
-
I will be giving a keynote at HYPER’25 in Zagreb (co-located with CAV).
DBLP