Imperial College London


Faculty of EngineeringDepartment of Computing

Senior Lecturer



+44 (0)20 7594 8271azalea.raad Website




426Huxley BuildingSouth Kensington Campus





I am a senior lecturer at the Department of Computing of Imperial College London. As of October 2021, I am a UKRI Future Leader Fellow. Between September 2020 and July 2022 I was a consulting research scientist at Facebook, London. As of September 2022, I am a research consultant at Bloomberg.

My research is in the area of programming languages and verification, spanning several topics including non-volatile memory, persistency semantics, weak memory models, stateless model checking 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!

For more information please visit my website on

For a list of my publications see hereGoogle Scholar or DBLP.

You can access my curriculum vitae here.

Selected Publications

Journal Articles

Le QL, Raad A, Villard J, et al., 2022, Finding real bugs in big programs with incorrectness logic, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-27

Raad A, Maranget L, Vafeiadis V, 2022, Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-31

Raad A, Berdine J, Dreyer D, et al., 2022, Concurrent incorrectness separation logic, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-29

Raad A, Wickerson J, Neiger G, et al., 2020, Persistency semantics of the Intel-x86 architecture, Proceedings of the Acm on Programming Languages (popl2020), Vol:4, ISSN:2475-1421, Pages:11:1-11:31

Kokologiannakis M, Raad A, Vafeiadis V, 2019, Effective lock handling in stateless model checking., Proceedings of the Acm on Programming Languages, Vol:3, ISSN:2475-1421, Pages:173:1-173:26

Raad A, Wickerson J, Vafeiadis V, 2019, Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models, Proceedings of the Acm on Programming Languages, ISSN:2475-1421


Raad A, Berdine J, Dang H-H, et al., 2020, Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., Springer, Pages:225-252

Kokologiannakis M, Raad A, Vafeiadis V, 2019, Model checking for weakly consistent libraries., PLDI19, Association for Computing Machinery (ACM), Pages:96-110

Raad A, Doko M, Rozic L, et al., 2019, On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models, ACM Principles of Programming Languages, Association for Computing Machinery (ACM), Pages:68: 1-68: 31, ISSN:2475-1421

Raad A, Vafeiadis V, 2018, Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model., ACM Object-Oriented Programming, Systems, Languages & Applications (OOPSLA18), Association for Computing Machinery (ACM), Pages:137:1-137:27, ISSN:2475-1421

Raad A, Lahav O, Vafeiadis V, 2018, On Parallel Snapshot Isolation and Release/Acquire Consistency., Springer, Pages:940-967

More Publications