Azalea Raad


About Me

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 verification techniques to web technologies, programming languages, and new application domains.