Researcher, Inria Paris, projet Cambium.

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.
• Main developper of the diy testing suite.
• Author of H^EV^EA, a fast LaTeX to HTML translator.

Teaching

Some slides for the course Programming shared memory multicore machines, at MPRI.

Old courses 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, en couleurs et dans mon carton.