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.
Contact me I am actively looking for faculty positions: contact me if you think I could be a good fit!
My research interests include Programming Languages, Verification, Security, Concurrency Theory, Types, Static Analysis, Process Algebra, Model Checking.
News • See all
-
The DimSum paper won a distinguished paper award at POPL23!
-
New post: I will be at POPL'23!
-
New post: I'm at SPLASH'22!
-
New POPL paper: The Path to Durable Linearizability