Skip to content
Elias Judin
███████╗██╗     ██╗ █████╗ ███████╗
██╔════╝██║     ██║██╔══██╗██╔════╝
█████╗  ██║     ██║███████║███████╗
██╔══╝  ██║     ██║██╔══██║╚════██║
███████╗███████╗██║██║  ██║███████║
╚══════╝╚══════╝╚═╝╚═╝  ╚═╝╚══════╝

     ██╗██╗   ██╗██████╗ ██╗███╗   ██╗
     ██║██║   ██║██╔══██╗██║████╗  ██║
     ██║██║   ██║██║  ██║██║██╔██╗ ██║
██   ██║██║   ██║██║  ██║██║██║╚██╗██║
╚█████╔╝╚██████╔╝██████╔╝██║██║ ╚████║
 ╚════╝  ╚═════╝ ╚═════╝ ╚═╝╚═╝  ╚═══╝

Elias Judin

Research Focus

monadic algebradescent theorymonadic cohomology
algebraic geometrymonadic descentmonadic topology

supervised by prof. George Janelidze

Interdisciplinary Interests

geometrization /// quantum information /// cryptography /// artificial intelligences /// media archaeology

Timeline

  • 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's 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 2022BSc(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 2021BSc Pure Mathematics & Computer Science, Wits, cum laude
  • may 2021 ⟡ attended Harvard's New Horizons in Theoretical Computer Science Summer School