Elias Judin

may 2025 part-time Lean4 mathematician @ Harmonic
march 2025 labeling Lean4 formalizations of AMC and AIME problems and solutions for Project Numina through Kili-technology (opensource)
august 2024 weekly seminars with Prof. G. Janelidze, UCT + Stellenbosch University category theory research group
march 2024 UCT building research grant 2024
september 2023 consulted for SAOTA resource centre unit - archiving architectural materials with a view towards the right use of artificial intelligence
february 2023 entered MSc Pure Mathematics program, UCT + building research grant 2023
december 2022 launched describing difficult spaces
november 2022 BSc(Hons) Pure Mathematics (UCT, cum laude) + completed project free semimodules and their examples
january 2022 nominated by UCT’s dept. of mathematics for Max Price and Deborah Posel scholarship (only honours student nominated)
december 2021 BSc Pure Mathematics & Computer Science (Wits, cum laude)
may 2021 attended Harvard’s New Horizons in Theoretical Computer Science Summer School