Dr. Azalea Raad

I am a computer scientist and a lecturer (assistant professor) at the Department of Computing of Imperial College London. I am a UKRI Future Leader Fellow. As of September 2020, I am also a consulting research scientist at Facebook, London.

Previously I was a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Prof. Derek Dreyer and Dr. Viktor Vafeiadis.

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!

You can contact me on MyFirstName@imperial.ac.uk.

For a list of my publications see here, Google Scholar or DBLP.

You can access my curriculum vitae here.