Curriculum Vitae
Research mathematician and engineer, based in Cape Town, South Africa.
Research
Preprint: Wouter van Doorn, Elias Judin, Pietro Monticone, and Daniel Morrison. On Some Problems from the Kourovka Notebook. July 2026; revised 26 July 2026. Solutions to eight group-theory problems, discovered and formally verified in Lean by Aristotle, Harmonic’s formal reasoning agent.
Paper and collaborators · arXiv · PDF · Lean source
Selected formalization contributions: Lean work on coding theory in ArkLib, polynomial interpolation in CompPoly, and random-oracle and extraction controls in VCVio. The formal proof portfolio gives the contributions, integration records, attribution, and ongoing research.
Academic history
2023 – present (expected 2026): MSc Mathematics, University of Cape Town.
Thesis (in progress): Semirings, Semimodules, and Semialgebras. Proves an equivalence between varieties with zero morphisms in which composition preserves addition on hom-sets and categories of semimodules over semirings.
Supervisors: Prof. George Janelidze and Dr Juana Sanchez-Ortega.
2022: BSc (Hons) Mathematics (cum laude), University of Cape Town.
Honours project: Free Semimodules and Their Examples. Supervisor: Prof. George Janelidze.
2019 – 2021: BSc Mathematics and Computer Science (cum laude), University of the Witwatersrand.
2014 – 2018: IEB National Senior Certificate, King David Victory Park High School.
Experience
May 2025 – present: Theorem Proving Engineer, Harmonic. Remote, part-time.
March 2025 – May 2025: Theorem Proving Engineer, Project Numina via Kili Technology. Remote, part-time.
Projects
- leanVM and Leanth (Ethereum Foundation project through Harmonic)
- lean-lsp-mcp
- CompPoly and ArkLib
- mathlib
Seminars and research groups
Weekly participant in the Category Theory Seminar, Department of Mathematics and Applied Mathematics, University of Cape Town.
Teaching
2023: Linear algebra (compulsory undergraduate mathematics), University of Cape Town.
2023: Fundamentals of mathematics (compulsory undergraduate mathematics), University of Cape Town.
2022: Introduction to discrete mathematics (compulsory undergraduate computer science), University of Cape Town.
2021: Discrete computational structures (compulsory undergraduate computer science), University of the Witwatersrand.
Awards
UCT Master’s Fellowship through the Building Research Active Academic Staff Grant (2023 and 2024).
Myer Levinson (EMDIN) Scholar (2022, 2023, 2024).
Nominated by UCT’s Department of Mathematics and Applied Mathematics for the Max Price and Deborah Posel Scholarship for aspiring academics (2022).
Dean’s List, University of the Witwatersrand (2020 and 2021).
University Council Merit Scholarship, University of the Witwatersrand (2020, 2021).
Certificate of First Class across mathematics, applied mathematics, computer science, statistics, and psychology (Wits, 2020).
Certificate of Merit across mathematics courses (Wits, 2020).
Graduation award for intellectual curiosity (2018).
Asian World Schools Debating Championship delegation member; quarter finalist; top 20 speakers (2016).
Summer schools
Harvard New Horizons in Theoretical Computer Science (31 May–4 June 2021, online).
IBM Qiskit Global Summer School, Certificate of Quantum Excellence (July 2020).
WitsQ-IBM Quantum Computing Summer School (December 2019).