Dr. Azalea Raad

I am a computer scientist and a Reader (associate professor) at the Department of Computing of Imperial College London, where I lead the Veritas Lab. I am also the co-director of the UK Research Institute on Verified, Trustworthy Software Systems (VeTSS).

I am the CEO and co-founder of Soteria Tools Ltd, where we develop Soteria, a sound, automated and scalable static analysis engine for bug detection in several languages, including Rust and C.

As of October 2021, I am a UKRI Future Leader Fellow. Between September 2020 and July 2022 I was additionally a consulting research scientist at Facebook, London. As of September 2022, I am also a research consultant at Bloomberg.

My research is in the area of programming languages and verification, spanning several topics including static analysis, scalable bug detection tools and techniques, weak memory models and program logics.

I am always eager to supervise enthusiastic candidates for PhD and Masters positions. If you are interested in programming languages theory, concurrency and formal methods, then get in touch with me!

You can contact me on MyFirstName@imperial.ac.uk.

For a list of my publications see here, Google Scholar or DBLP.

You can access my curriculum vitae here.