I am a senior researcher at INRIA in Paris, France.
(Here are directions to our site, and here is a map.)
I lead the Cambium team.
Those who would give up essential Liberty, to purchase a little
temporary Safety, deserve neither Liberty nor Safety.
-- Benjamin Franklin (1755)
I am not planning to attend any conferences in the coming months.
Current software (gitlab):
- Menhir, a LR(1) parser generator for the
OCaml programming language;
- visitors, an OCaml syntax extension
that generates object-oriented visitors for traversing and transforming data structures
an OCaml library for ML type inference and elaboration,
described in my ICFP 2014 paper.
an OCaml library for memoization, hash-consing, and computing
least fixed points;
an OCaml adaptation of Wadler's and Leijen's prettier printer;
an OCaml library that offers several implementations of this famous data structure;
a Coq library for writing a do/while loop, while producing
clean OCaml extracted code.
My current and former Ph.D. students are:
- Paulo Emílio de Vilhena (2019-),
- Frédéric Bour (2019-)
(also an engineer at Taridès),
- Glen Mével (2018-)
(co-advised with Jacques-Henri Jourdan),
- Naomi Testard (2017-2019),
- Armaël Guéneau (2016-2019)
(co-advised with Arthur Charguéraud)
(now a postdoc researcher at Aarhus University),
- Jonathan Protzenko (2010-2014)
(now a researcher at Microsoft Research in Redmond),
- Nicolas Pouillard (2008-2011)
(now a free-lance programmer and researcher),
- Alexandre Pilkiewicz (2008-2011)
(now at Google France),
- Arthur Charguéraud (2007-2010)
(now a researcher at Inria),
- Yann Régis-Gianas (2004-2007)
(now maître de conférences at Université Paris Diderot),
- Nadji Gauthier (2003-2005),
- Vincent Simonet (2000-2004)
(now at Google France).