I am a researcher at INRIA. My long-term domain of interest is Computer Algebra, that is, the design of fast algebraic algorithms on representations of mathematical objects in the computer. I am also interested in the interactions between Computer Algebra and Formal Proofs, which motivated the recent start of the new team SpecFun.
Since 2012, my office is in the INRIA-Saclay Centre, located in Palaiseau (building Alan Turing on École Polytechnique campus, full address at the bottom). Before that, I have worked for more than 15 years in the INRIA Centre at Rocquencourt. My activity is also part of the MSR-INRIA Joint Centre, where I lead a project on the display on the web of mathematical formulas on special functions.
I will no longer maintain my older page.
My list of publications since 2013 is available through the French archive HAL (generated list). In case of doubt about earlier references, you can look at my unmaintained older list.
There is also a list of talks I've given.
My main activity in (research) software concerns Maple packages to perform symbolic summation and integration of special functions, namely Mgfun and related packages, as well as the generation of the on-line dictionary of special functions, DDMF. See also the DynaMoW library, an OCaml language extension to design interactive mathematical web sites.
Since 2005, I teach a yearly course in computer algebra in the MPRI. See the (French) web page about my (joint) course there.
I have also tought 8 years at École Polytechnique, including a Computer-Algebra course (M1 level).
From October 1998 to February 1999, I was a post-doctoral fellow visiting the Combinatorics group at RISC, Linz (Autria). I still have a lot of connections with RISC; in particular, many of the students and researchers come and visit us, and some do a post-doc with us.
I work a lot with Bruno Salvy, who was formerly co-member of the INRIA Project-Team Algo(rithms), until he moved to Lyon.
INRIA Saclay Île-de-France, Bât. Alan Turing, 1 rue Honoré d'Estienne d'Orves, 91120 Palaiseau, France
Tel: +33 1 69 35 69 74