I am currently a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Prof. Derek Dreyer and Dr. Viktor Vafeiadis.
I am a member of the ERC RustBelt project.
I will join the faculty at Imperial College London as a lecturer in 2020!
I completed my PhD at Imperial College London, under the supervision of Prof. Philippa Gardner.
I'm interested in applying formal methods and verification techniques to programming languages, web technologies, and new application domains.