Interested in studying in my group? Please see the page on Ph.D. at INRIA and the F.A.Q..

Current Ph.D. students

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

Jean-Baptiste Tristan, since 2006. Topic: Formal verification of translation validation.

Zaynah Dargaye, since 2005. Topic: Certified compilation of functional languages.

Past Ph.D. students

Tom Hirschowitz, 2000-2003. Topic: Mixin modules for call-by-value languages. Tom is currenly research scientist at CNRS, LIP laboratory at ENS Lyon.

Benjamin Grégoire, 1999-2003, co-advised with Benjamin Werner. Topic: Compilation of Coq proof terms. Benjamin is currently research scientist at INRIA Sophia-Antipolis, Everest team.

François Pessaux, 1997-1999. Topic: Type-based static analysis of uncaught exceptions. François is currently research engineer at U. Paris 6.

All of the above, plus:

Boris Yakobowski, 2004. Topic: A semantic study of SSA form. Boris is currently pursuing a Ph.D. under Didier Rémy's supervision.

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