Azalea Raad

Dr. Azalea Raad is an Associate Professor in Programming Languages at the Department of Computing, Imperial College London. Her research focuses on programming languages, formal methods, verification, non-volatile memory, concurrency, persistency, weak memory models, and transactional memory. She leads the Veritas Lab and co-directs the UK Research Institute on Verified, Trustworthy Software Systems (VeTSS). Dr. Raad is also the CEO and co-founder of Soteria Tools Ltd, which develops Soteria, a static analysis engine for bug detection in languages like Rust and C. She has held research positions at Facebook and Bloomberg and is actively involved in academic conferences and program committees.

Azalea Raad is a researcher at Imperial College London, focusing on non-volatile memory, persistency semantics, and weak consistency models. Her work explores the formalization of persistency semantics for architectures like Intel-x86 and ARMv8, as well as the verification of concurrent systems under weak memory consistency. Raad's research includes the development of logical frameworks for reasoning about persistent programs and the integration of epoch persistency with memory models. She has also investigated the correctness of concurrent libraries under declarative consistency models and the application of model checking to weakly consistent systems. Her contributions span both theoretical and practical aspects of concurrency and persistency in modern computing systems.