Pedro da Rocha Pinto 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 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.
Thomas Wood was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.
Andrea Cerone 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.