Interested in studying in my group? Please see the page on Ph.D. at INRIA and the F.A.Q..
Current Ph.D. students
None currently
Past Ph.D. students
Tahina Ramananandro, 2007-2011. Topic: Mechanized formal semantics and verified compilation for C++ objects. Tahina is currently doing a post-doc at Yale University.
Jean-Baptiste Tristan, 2006-2009. Topic: Formal verification of translation validation. Jean-Baptiste is currently a research scientist at Oracle Labs.
Zaynah Dargaye, 2005-2009. Topic: Certified compilation of functional languages. Zaynah is currently a scientist at CEA, LIST laboratory.
Tom Hirschowitz, 2000-2003. Topic: Mixin modules for call-by-value languages. Tom is currently a CNRS research scientist, working at the LAMA laboratory of Université de Savoie.
Benjamin Grégoire, 1999-2003, co-advised with Benjamin Werner. Topic: Compilation of Coq proof terms. Benjamin is currently an INRIA research scientist, working at the Marelle team of INRIA Sophia-Antipolis.
François Pessaux, 1997-1999. Topic: Type-based static analysis of uncaught exceptions. François is currently assistant professor at ENSTA ParisTech.
Past Master's interns
All of the above, plus:
Jacques-Henri Jourdan, 2010. (Co-supervised with François Pottier.) Topic: Validating LR(1) parsers.
Boris Yakobowski, 2004. Topic: A semantic study of SSA form. Boris is now a scientist at CEA, LIST laboratory.
François Pottier, 1994. Topic: An SML-style module system for Caml Light. François is currently a senior research scientist at INRIA Paris-Rocquencourt, Gallium team.