news
| Aug 18, 2026 | Palomar - a registry of Lean-verified mathematics |
|---|---|
| Jul 25, 2026 | AI for Mathematics panel at ICM 2026 |
| Jul 23, 2026 | Mathematics in Lean at ICMS 2026 |
| Jul 20, 2026 | National Academies meeting on organizing mathematical knowledge |
| May 26, 2026 | Mathlib awarded the 2026 Jean-Pierre Demailly Prize |
| Sep 17, 2025 | AI for Math - Bridging proof and computation |
| Aug 04, 2025 | Institute for Computer-Aided Reasoning in Mathematics (ICARM) |
| Jul 23, 2025 | FRG on multigraded commutative algebra, toric varieties, and mirror symmetry |
| Jun 25, 2025 | Mathlib Initiative advisory board |
| Nov 01, 2024 | Fellow of the American Mathematical Society |
| Jan 23, 2024 | Research Professor at SLMath (formerly MSRI) |
| Sep 24, 2023 | Mathlib maintainer |
| Sep 01, 2023 | NSF award |
| Sep 01, 2022 | VandeBogert awarded an NSF DMS postdoc |
| Aug 31, 2022 | AMS MRC applications open |
| Mar 31, 2022 | UofSC Garnet Apple for Teaching Innovation |
| Jul 01, 2021 | Lamarche awarded an NSF DMS postdoc |
| Jun 22, 2020 | Ballard awarded an Simons Foundation grant |