Azalea Raad

Azalea Raad is a researcher at Imperial College London, actively contributing to the fields of programming languages, formal methods, and concurrency. She has a strong presence in top-tier academic conferences such as POPL, PLDI, SPLASH, and ICFP, serving in key roles including program committee member, session chair, and organizing committee member across multiple tracks and co-located events.

Her research interests center on weak memory concurrency, non-volatile memory, program logics, separation logic, concurrent reasoning, and verification. She has pioneered work in incorrectness logic and under-approximate reasoning, enabling scalable bug detection in concurrent and persistent systems. Her work bridges formal theory with practical systems challenges, particularly in memory models and semantics for C/C++ and assembly-level concurrency.

The recent publications highlight a strong trend toward formalizing memory persistency, extending memory models, and developing logical frameworks for bug detection. The keywords across her work include concurrency, verification, program logics, and systems correctness, with sub-fields spanning separation logic, incorrectness logic, TSO, RDMA, and crash consistency. Her research increasingly focuses on scalable and compositional methods for analyzing unsafe libraries and binaries.

She has contributed to academic service through organizing workshops such as O'Hearn Fest, The Future of Weak Memory, and Incorrectness, and has co-chaired the Student Research Competition at POPL. While no grants are explicitly mentioned, her leadership in multiple conference tracks suggests active involvement in funded research and student mentorship.

Azalea Raad leads or contributes to collaborative research teams focused on formal semantics and verification tools, often working within frameworks like Isabelle/HOL and developing new logical systems for program analysis. Her personal website, https://www.SoundAndComplete.org, serves as a hub for her research outputs and projects.