معرفی
Azalea Raad is a Reader (Associate Professor) in the Department of Computing at Imperial College London, leading the Veritas Lab. She holds a PhD in Computer Science from Imperial College London and is a UKRI Future Leader Fellow since 2021. Her research focuses on programming languages, formal verification, and persistent memory systems, particularly addressing challenges in weak memory models, concurrency, and software correctness.
- Affiliations:
- Co-director of the UK Research Institute on Verified, Trustworthy Software Systems
- Adjunct roles at Facebook (2020–2022) and Bloomberg (2022–present)
- Education:
- MEng from Imperial College London
- PhD in Computer Science from Imperial College London
Research Interests: Azalea’s work bridges theoretical foundations and practical system implementation, emphasizing:
- Formal semantics of persistent and weak memory systems
- Verification frameworks for concurrent and persistent programs
- Bug detection in libraries and binaries
- Transactional memory and system validation
Publications: Her recent work explores compositional bug detection, persistent programming principles, and scalable non-termination analysis. Key contributions include frameworks like IsaBIL and Memento, and foundational papers on RDMA robustness and C/C++ memory model extensions.
Awards: UKRI Future Leader Fellowship (2021–present). Research recognized through collaborations with industry (e.g., Intel PMDK validation).
Labs/Teams: Leads the Veritas Lab, advancing formal methods for trustworthy software systems.
