| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
- July 2026 Preprint: On Some Problems from the Kourovka Notebook, with Wouter van Doorn, Pietro Monticone, and Daniel Morrison; solutions to eight Kourovka Notebook problems
- May 2025 Part-time Lean mathematician at Harmonic
- March 2025 Lean formalization work on AMC and AIME problems for Project Numina through Kili Technology (open source)
- August 2024 Weekly category theory seminars with Prof. G. Janelidze at UCT and Stellenbosch University
- March 2024 UCT Building Research Active Academic Staff Grant (2024)
- September 2023 Consulted for SAOTA’s Resource Centre on architectural archives and artificial intelligence
- February 2023 Began the M.Sc. in Pure Mathematics at UCT; received a Building Research Grant (2023)
- December 2022 Published Describing difficult spaces
- November 2022 B.Sc. (Hons) in Pure Mathematics, UCT (cum laude); completed Free semimodules and their examples
- January 2022 Nominated by UCT’s Department of Mathematics for the Max Price and Deborah Posel Scholarship
- December 2021 B.Sc. in Pure Mathematics and Computer Science, Wits (cum laude)
- May 2021 Attended Harvard’s New Horizons in Theoretical Computer Science Summer School
Showing milestones 1–6 of 12.