PhD students

• Arunava Gantait, PhD in progress at École Polytechnique, 2024—
  Co-supervised with Dr. Dale Miller, Inria Saclay
  Topic: Automating inductive and co-inductive reasoning

• Farah Al Wardani, PhD in progress at Inria Saclay, 2022—
  Co-supervised with Dr. Dale Miller, Inria Saclay
  Topic: Distributed assertions for a community of reasoning agents

• Yuting Wang, PhD defended at U. Minnesota, USA, December 2018
  Co-supervised with Prof. Gopalan Nadathur, U. Minnesota, USA
  PhD topic: Certifying compilers for functional programs using higher-order relational specifications
  Currently: Associate Professor, Shanghai Jiao Tong University, China

• Hernán Vanzetto, PhD defended at the U. Lorraine, France, December 2014
  Co-supervised with Dr. Stephan Merz, Inria Nancy (Loria)
  PhD topic: Heterogeneous verification in the TLA+ Proof System

PostDocs

• Victoria Barrett, 2024—current
  PhD 2024 from U. Bath, UK

• Matteo Acclavio, 2019—2020
  PhD 2016 from U. Aix-Marseille, France
  Currently Lecturer at U. Sussex, UK

• Matteo Cimini, 2013—2014
  PhD 2012 from Reykjavik University, Iceland
  Currently Assistant Professor at U. Massachusetts Lowell, USA

• Simon Zambrovski, 2008
  (PhD details unknown)
  Currently a software engineer in Hamburg, Germany

Interns

• Aya Matmata, bachelor internship, École Polytechnique, 2024
• Luigi Massacci, bachelor internship, École Polytechnique, 2022
• Mary Southern, PhD internship, U. Minnesota USA, 2014
• Olivier Savary-Bélanger, Masters internship, McGill University, Canada, 2013
• Chris Martens, PhD internship, Carnegie Mellon University, USA, 2011
• Salil Joshi, PhD internship, Carnegie Mellon University, USA, 2011
• Andrew Cave, Masters internship, McGill University, Canada, 2011