news
| 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 |
| 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 |