I lead the Veritas Lab (Verification, Testing and Specification, aka "Verification Taskforce") at Imperial College London. I am fortunate enough to oversee a talented group of PhD students and post-doctoral researchers, and to have worked with gifted colleagues in the team.
I am always eager to supervise enthusiastic candidates for PhD and Masters positions. If you are interested in programming languages theory, concurrency and formal methods, then get in touch with me here to join Veritas!
Current Members
Guillaume Ambal
Postdoc
Sacha-Élie Ayoun
Postdoc
Edwin Fernando
Master's Student
Teresa Carbajo Garcia
VeTSS Program Manager
Lorenzo Gazzella
Visiting PhD Student
Pedro Carrott
PhD Student
Shing Hin Ho
PhD Student
Timothée Meneux
Summer Intern
Dragana Milovančević
Potsdoc
Azalea Raad
Group Leader
Opale Sjöstedt
PhD Student
Raquel Sofia Silva
PhD Student
Max Stupple
PhD Student
(co-supervised by Ally Donaldson)
Julien Vanegue
PhD Student
(part-time)
Kevin Verhaeghe
Visiting Master's Student
Past Members
- Paulo Emílio de Vilhena, Post-doctoral researcher (February 2023-March 2026), now a lecturer at the University of Surrey
- Matthew Griffin, Post-doctoral researcher (May 2024-March 2025), now at LuggageLogistics
- Flavio Ascari, Visiting PhD Student (June-July 2024)
- Rini Banerjee, Master's Student (2021-2022, now a PhD student at Cambridge)
- Tiberiu Bucur, Master's Student (2022-2023, now at ARM)
- Caroline Cronjaeger, Summer Intern (2023, 2024, now a student at Vrije Universiteit Amsterdam)
- Ezra Sitorus, Master's Student (2022-2023, now at ARM)
- Aris Zhu, Master's Student (2022-2023, now at Confluent)