C U R R I C U L U M

V I T Æ

Né en 1964.

1984-87. École Normale Supérieure de Cachan
Agrégation de Mathématiques, option informatique
1984-86. Université d'Orsay
Licence, maîtrise de Mathématiques Pures
1986-87. École Polytechnique
DEA de Mathématiques. Sujet : Calculs en géométrie algébrique et implantations en machine. Directeur : Marc Giusti
1988-93. Centre Scientifique I.B.M. France — École Polytechnique
Doctorat de Mathématiques. Sujet : Calcul formel pour les méthodes de Lie en mécanique hamiltonienne. Directeur : M. Demazure. Soutenue le 29 janvier 1993. Très honorable et félicitations du jury.
1994-03. Université Pierre & Marie Curie
Habilitation à diriger des recherches. Sujet : Contributions au calcul dans les algèbres de Lie libres et à la déformation de groupes triangulaires en géométrie hyperbolique complexe. Soutenue le 19 décembre 2003.

1984-87. E.N.S. Cachan, Élève Professeur.
1987-89. Centre Scientifique I.B.M. France, Stagiaire thésard.
1989-91. Lycée Français de Londres, Service National de la Coopération.
1991-93. École Polytechnique, : Boursier B.F.M.
1993-94. Académie de Paris, Lycée Lavoisier, : Titulaire Académique en Classes Préparatoires.
1994— . Université Paris 6, Maître de Conférences.
2008-10. Inria Rocquencourt, EPI Salsa, Chercheur en délégation.

1995-97. Membre de la Commission de Spécialistes de l'UFR 920.
1995-05. Responsable de la page Web du projet Analyse Algébrique et du DEA de Mathématiques
2004-08. Membre élu du Conseil de l'UFR 929.
2007-11. Membre élu du Conseil National des Universités, section 25 (CNU25).
2012—20 . Université Paris 6. Responsable de la préparation à l'agrégation de mathématiques.
2020-22. Co-organisateur des Journées Nationales de Calcul Formel (JNCF)
2023. Membre du comité d'organisation de la conférence FoCM'2023

Cuong TRAN, Calcul Formel pour les polynômes de Chebychev, soutenue en 10/2015 (co-direction F. ROUILLIER)
Sudarshan SHINDE, Applications crytologiques des propriétés galoisiennes des points d'ordre fini des courbes elliptiques, soutenue le 11/07/2020 (co-direction R. BARBULESCU)
Andrea NEGRO, Autour des conjectures de Hoste et de Agol-Krushkal, débutée en sept. 2021 (co-direction Julien MARCHE)

Membre de l'ANR SGT (2012-2015).
Membre du GDR 673 du CNRS (Informatique Mathématique, pôle Calcul Formel, arithmétique et géométrie)
Membre de Jury de l’Agrégation Externe de Mathématiques (2000-2005).
Lauréat du Concours national d’aide à la création d’entreprises de technologies innovantes (2001) : IC-Cube, compression d’images fixes et animées.