Jean-Charles Faugère
Jean-Charles Faugère est un chercheur français en mathématiques et informatique. Il est responsable de l'équipe POLSYS (Solvers for ALgebraic Systems and Applications) du Laboratoire d'informatique de Paris 6 (LIP6) et du centre Paris–Rocquencourt d'INRIA, à Paris[1].
Formation | |
---|---|
Activité |
Directeur de thèse |
Daniel Lazard (en) |
---|
Faugère obtient son doctorat en mathématiques en 1994 à l'université de Paris VI, avec le mémoire Résolution des systèmes d'équations algébriques, sous la direction de Daniel Lazard (en)[2].
Il travaille sur les bases de Gröbner et leurs applications, notamment en cryptologie. Avec ses collaborateurs, il met au point l'algorithme FGLM (en) pour changer l'ordre monomial d'une base de Gröbner de certains idéaux particuliers [3]. Il invente également les algorithmes F4 et F5 (en) pour le calcul des bases de Gröbner[4] - [5]. En particulier, son algorithme F5 lui permet de résoudre divers problèmes en cryptographie tels que HFE ; il a également introduit un nouveau type de cryptanalyse, appelée cryptanalyse algébrique.
Références
- « Jean-Charles Faugère, déjà projeté dans le post-quantique » , L'Usine nouvelle, (consulté le )
- (en) « Jean-Charles Faugère », sur le site du Mathematics Genealogy Project
- Jean-Charles Faugère, Patrizia Gianni (en), Daniel Lazard et Teo Mora (en), « Efficient computation of zero-dimensional Gröbner bases by change of ordering », Journal of Symbolic Computation, vol. 16, no 4,‎ , p. 329–344 (DOI 10.1006/jsco.1993.1051, MR 1263871, lire en ligne)
- Jean-Charles Faugère, « A new efficient algorithm for computing Gröbner bases (F4) », Journal of Pure and Applied Algebra, vol. 139, nos 1-3,‎ , p. 61–88 (DOI 10.1016/S0022-4049(99)00005-5, lire en ligne)
- Jean-Charles Faugère, Proceedings of the 2002 international symposium on Symbolic and algebraic computation (ISSAC 2002), New York, NY, USA, ACM, , 75–83 p. (DOI 10.1145/780506.780516, lire en ligne), « A new efficient algorithm for computing Gröbner bases without reduction to zero (F5) »