Kaustuv Chaudhuri - Supervision

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

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

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