Pedro da Rocha Pinto Pedro was a PhD student and a Post Doc in the group, working on developing logics for verification of fine-grained concurrent programs. Pedro defended his PhD thesis, Reasoning with Time and Data Abstractions in January 2017. He is currently working for Enki a London company developing on-the-job learning apps for software developers.
Azalea Raad 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.