raad.md

firstname: Azalea
lastname: Raad
position: PhD Student
webpage: http://www.soundandcomplete.org/
email: azalea@imperial.ac.uk
alumnus: true

was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She then was a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Derek Dreyer and Viktor Vafeiadis on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/. Azalea will join the faculty at Imperial College London as a lecturer in 2020.