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.
Shale Xiong Shale was a PhD student with the group. Shale defended his thesis: [Parametric Operational Semantics for Consistency Models (https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html) in February 2020 and he is currently working for Arm Research, Cambridge, as a Research Engineer in their Security group.
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
Emanuele D'Osualdo Emanuele D’Osualdo joined the group as a Marie-Curie Fellow in 2018 with his project “Verification through Security and Progress Abstractions” (VeSPA). In 2020 he moved to the Max Planck Institute for Software Systems (MPI-SWS), Germany, to work on the verification of concurrent programs with the IRIS program logic project.