Sébastien Gouëzel

Sébastien Gouëzel (born November 20, 1979) is a French mathematician and a research director at the CNRS (French National Centre for Scientific Research). He is known for his contributions to dynamical systems, ergodic theory, probability theory, and formal mathematics.[1]

Education and career

Gouëzel was educated at the École normale supérieure in Paris from 1998 to 2002. In 2000, he achieved first place in the Agrégation in mathematics. He completed his DEA (master's degree) in pure mathematics at the University of Paris-Sud in 2001 with highest honors, ranking first in his class. His master's thesis, supervised by Viviane Baladi, was titled "Spectrum of the transfer operator in dimension 1."[2]

He earned his PhD in mathematics in 2004 under the supervision of Viviane Baladi, with a dissertation titled "Decorrelation speed and limit theorems for non-uniformly expanding maps."[3]

Gouëzel's academic positions include:

  • 2002–2005: Agrégé préparateur at École normale supérieure Paris
  • 2005–2009: Research associate (second class) at CNRS, University of Rennes
  • 2009–2015: Research associate (first class) at CNRS, University of Rennes
  • 2015–2020: Research director (second class) at CNRS, University of Nantes
  • 2020–2021: Research director (second class) at CNRS, University of Rennes
  • 2021–present: Research director (first class) at CNRS, University of Rennes[4]

Research

Gouëzel's research spans several areas of mathematics, with particular focus on:

Dynamical Systems and Ergodic Theory

His work includes significant contributions to the study of hyperbolic dynamical systems, transfer operators, and limit theorems for dynamical systems. Notable results include work on the Teichmüller flow and spectral properties of various dynamical systems.[5]

Random Walks on Groups

Gouëzel has made important contributions to the theory of random walks on hyperbolic groups, including work on Martin boundary theory and local limit theorems.[6]

Formal Mathematics

He is a major contributor to the Lean theorem prover and maintains the mathematical library mathlib. His formalization work includes differential geometry, the Gromov-Hausdorff distance, and various results in ergodic theory.[7]

Awards and honors

References

  1. ^ "Sébastien Gouëzel - Personal webpage". Retrieved 2024-12-19.
  2. ^ "Curriculum Vitae - Sébastien Gouëzel". Retrieved 2024-12-19.
  3. ^ "Curriculum Vitae - Sébastien Gouëzel". Retrieved 2024-12-19.
  4. ^ "Curriculum Vitae - Sébastien Gouëzel". Retrieved 2024-12-19.
  5. ^ Avila, Artur; Gouëzel, Sébastien; Yoccoz, Jean-Christophe (2006). "Exponential mixing for the Teichmüller flow". Publications mathématiques de l'IHÉS. 104: 143–211. doi:10.1007/s10240-006-0001-5.
  6. ^ Gouëzel, Sébastien (2014). "Local limit theorem for symmetric random walks in Gromov-hyperbolic groups". Journal of the AMS. 27 (3): 893–928. arXiv:1209.3217. doi:10.1090/S0894-0347-2014-00788-8.
  7. ^ Gouëzel, Sébastien (2022). A formalization of the change of variables formula for integrals in mathlib. CICM 2022. Lecture Notes in Computer Science. Vol. 13467. pp. 3–18. doi:10.1007/978-3-031-16681-5_1.
  8. ^ "ICM 2018 Invited Speakers". International Mathematical Union. Retrieved 2024-12-19.
  9. ^ "The 2019 Michael Brin Prize in Dynamical Systems". Journal of Modern Dynamics. 2020. doi:10.3934/jmd.2020015. Retrieved 2024-12-19.
  10. ^ "Grand Prix Madame Victor Noury 2022". French Academy of Sciences. Retrieved 2024-12-19.
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.