Azalea Raad

Researcher
Imperial College, London

About Me

I am currently a PhD student at Imperial College's Department of Computing, supervised by Philippa Gardner and Sophia Drossopoulou. I'm interested in applying formal verification techniques to web technologies, programming languages, and new application domains.