Photo of Sacha Ayoun
Sacha Ayoun
PhD Student
Photo of Martin Bodin
Martin Bodin
Research Associate
Photo of Andrea Cerone
Andrea Cerone
Research Associate
Photo of Emanuele D'Osualdo
Emanuele D'Osualdo
Marie-Curie Fellow
Photo of José Fragoso Santos
José Fragoso Santos
Research Associate
Photo of Philippa Gardner
Philippa Gardner
Professor, Group Leader
Photo of Petar Maksimović
Petar Maksimović
Research Fellow
Photo of Gabriela Sampaio
Gabriela Sampaio
PhD Student
Photo of Shale Xiong
Shale Xiong
PhD Student


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, Inc. a Michigan-based photo products e-commerce company.

Daiva Naudžiūnienė Daiva defended her Ph.D. on An Infrastructure for Tractable Verification of JavaScript Programs in March 2018. From 2017 Daviva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn.

Gian Ntzik Gian Ntzik, Phd student and Post Doc with the group. Gian defended his thesis Reasoning about POSIX File Systems in February 2017 and is currently working for Amadeus in systems development and research.

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.

Thomas Wood Thomas Wood was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.