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 Collage.com, Inc. a Michigan-based photo products e-commerce company.
Azalea Raad Azalea 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. In 2020, Azalea joined the faculty at Imperial College London as a lecturer.
Thomas Wood Thomas was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.
Andrea Cerone Andrea moved to industry in 2019. He is still an active researcher, continuing his work on the mathematical foundations of geo-replicated and distributed systems, with a particular emphasis to databases, and its applications for overcoming practical challenges in such systems. His latest publication is Data Consistency in Transactional Storage Systems: A Centralised Semantics at Ecoop 2020