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

Photo of Guillaume Ambal

Guillaume Ambal
Postdoc

Photo of Sacha-Élie Ayoun

Sacha-Élie Ayoun
Postdoc

Photo of Teresa Carbajo Garcia

Teresa Carbajo Garcia
VeTSS Program Manager

Photo of Pedro Carrott

Pedro Carrott
PhD Student

Photo of Paulo de Vilhena

Paulo Emílio de Vilhena
Postdoc

Photo of Matthew Griffin

Matthew Griffin
Postdoc

Photo of Shing Hin Ho

Shing Hin Ho
PhD Student

Photo of Azalea Raad

Azalea Raad
Group Leader

Photo of Raquel Sofia Silva

Raquel Sofia Silva
PhD Student

Photo of Julien Vanegue

Julien Vanegue
PhD Student
(part-time)

Past Members

  • 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 Cronjäger, 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)