Current Ph.D. students

Tahina Ramananandro, since 2007. Topic: Verification of run-time systems and compilers for high-level programming languages.

Past Ph.D. students

Jean-Baptiste Tristan, 2006-2009. Topic: Formal verification of translation validation. Jean-Baptiste is currently doing a post-doc at Harvard University.

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 research programmer at U. Paris 6.

Past Master's interns

All of the above, plus:

Boris Yakobowski, 2004. Topic: A semantic study of SSA form. After a Ph.D. under Didier Rémy's supervision, Boris is now doing a post-doc at U. Paris 7, PPS laboratory.

François Pottier, 1994. Topic: An SML-style module system for Caml Light. François is currently research scientist at INRIA Rocquencourt, Gallium team.