Azalea Raad was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She is now a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Derek Dreyer and Viktor Vafeiadis and a member of the ERC RustBelt project.
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