La bibliothèque de mathématiques formalisées de Lean vient de recevoir le prix Demailly 2026 pour la science ouverte en mathématiques.
https://epiga.episciences.org/page/session-2026
Ce projet collaboratif primé implique plus de 750 contributrices et contributeurs et il est bien représenté à Orsay : félicitations à nos membres Patrick Massot, Joël Riou, Damien Thomine, et à nos anciens étudiants de la licence au doctorat (Anatole Dedecker, Benoît Guillemet, Luigi Massacci, Yannis Monbru) et post-doctorants (Floris von Doorn, Kyle Miller)
Notre collègue Anne Moreau a été nommée membre senior de l'Institut Universitaire de France.
Annonce de la nouvelle sur le site de l'IUF
Our colleague Jean-Benoît Bost has been elected a member of the mathematics section of the French Academy of Sciences:
Our colleague Antoine Levitt has been awarded an ERC Consolidator grant for his project TENUMEL (Theory and numerics for electronic structure). His profile is published here.
Our colleague Amandine Aftalion has been appointed knight of the National Order of Merit.
The Paris Academy of Sciences has awarded the 2025 Mathematics Medal to our colleague Anne Moreau, Professor at LMO and Director of BJH, during a formal awards ceremony on November 25, 2025.
An article about our library, entitled "In Orsay, a major mathematics library", was published on the CNRS news website.
The Chancellery of the Universities of Paris awarded formal thesis prizes to former doctoral students of the LMO. These are Tess Bouis, who defended her thesis supervised by Matthew Morrow in September 2024, and Antoine Prouff, who defended his thesis supervised by Matthieu Léautaud in June 2024.
Following the laboratory's general assembly on Friday, October 17, the members of the Orsay Mathematics Laboratory (LMO) voted in favor of the motion below with almost all votes cast (out of 349 registered members, 258 voted, including 235 in favor, 1 against, 6 abstentions, and 16 non-votes).
The members of the Orsay Mathematics Laboratory, meeting in general assembly on Friday, October 17, 2025, welcome the recognition by the supervisory bodies, Université Paris-Saclay and CNRS, of the alarming understaffing of the LMO's administrative department, a situation that has persisted for several years. They acknowledge the additional resources promised by the supervisory …
Polina Perstneva, a former doctoral student at the LMO and currently a postdoctoral researcher at the CMAP of École Polytechnique, is the recipient of the "Young Talents France 2025 L’Oréal-UNESCO Prize For Women in Science". The work recognized by this award includes her doctoral thesis at the LMO, supervised by Guy David and defended in December 2023.
