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
-
New ESOP paper: An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
-
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!
DBLP