Researcher, Inria Rocquencourt, projet Gallium.

Research

• Lazy ML — compilation of pattern matching and parallel implementation — ; strategies in Term Rewriting Systems; concurrent and distributed languages and weak memory models — See publications.
• Some slides: Locali 2013 workshop.
• Main developper of the new JoCaml system, coordinator of the diy testing suite.
• Author of H^EV^EA, a fast LaTeX to HTML translator.

Teaching

Some slides for the course Semantics, languages and algorithms for multicore programming, at MPRI.

At École polytechnique

Software Bits

A few programs, mostly solutions of some programing assigments.

Contact

La vie est ailleurs

Photos de vacances : en République tchèque, en Amérique centrale, rue d'Avron et en couleurs.