Azalea Raad accepts faculty position at Imperial College London

Azalea Raad, postdoctoral fellow in the Software Analysis and Verification Group and the Foundations of Programming Group, has accepted a position as Lecturer in the Department of Computing at Imperial College London. Congratulations Azalea!

Azalea’s 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. You can read more about her work here.