I am currently a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Derek Dreyer and Viktor Vafeiadis. I am a member of the ERC RustBelt project. I completed my PhD at Imperial College London, under the supervision of Professor Philippa Gardner. I'm interested in applying formal methods and verification techniques to programming languages, web technologies, and new application domains. For a copy of my CV please contact me here.