Imperial College London

DrAzaleaRaad

Faculty of EngineeringDepartment of Computing

Lecturer
 
 
 
//

Contact

 

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

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

I am a lecturer at the Department of Computing of Imperial College LondonMy 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.

Before joining Imperial College, I was a postdoctoral researcher at the Max Planck Institute for Software Systems in Germany (2017-2019). I completed my PhD at Imperial College in 2017. 

For more information please visit my website on SoundAndComplete.org.