Welcome to my homepage!
I am a Postdoctoral Researcher
in Theoretical Computer Science
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, Types, Static Analysis, Process Algebra, Model Checking.
News • See all
-
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.