was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She then moved to the Max Planck Institute for Software Systems (Kaiserslautern) working a postdoctoral researcher 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.
Ph.D. Thesis, Imperial College London
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 314–334
Proceedings of the 24th European Symposium on Programming (ESOP’15), pp. 710–735
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS’14), vol. 308, pp. 147–166