Azalea Raad

Dr. Azalea Raad is an Associate Professor (Reader) in the Department of Computing at Imperial College London, leading the Veritas Lab. She is also co-director of the UK Research Institute on Verified, Trustworthy Software Systems (VeTSS). Her research focuses on programming languages, formal verification, and weak memory models, with contributions to persistent memory technology and concurrency. Raad has held visiting roles at Facebook and Bloomberg, and has been recognized with awards such as the UKRI Future Leaders Fellowship and the SIGPLAN Distinguished Paper Award. Her work bridges theoretical foundations with practical tools for ensuring software correctness.

Education & Roles:

• PhD (Imperial College London, 2016)
• Reader/Associate Professor (Imperial College London, 2021–present)
• Co-Director, UK VeTSS Institute (2023–present)

Research Interests:

Her research explores formal methods for persistent programming, including non-volatile memory semantics, weak memory models, and concurrency. She develops tools like Incorrectness Separation Logic and frameworks for verifying binaries (e.g., IsaBIL). Her work emphasizes practical applications in industrial settings, such as Intel PMDK transactions and RDMA robustness.

Grants & Awards:

• EPSRC Research Grant: Safe and Secure Remote Direct Memory Access (2023)
• UKRI Future Leaders Fellowship (2021)
• Meta Research Gift (2022)
• Imperial College President’s Award (2021)

Professional Activities:

• Program Committee Member: ESOP (2024), CAV (2022), ICFP (2022)
• Keynote Speaker: MFPS (2022), PLDI (2021)

Labs & Teams:

Leads the Veritas Lab, focusing on verified software systems, and collaborates with industry partners like Intel and Bloomberg through applied research initiatives.