- PhD Student
Previous Education
- Master of Philosophy in Advanced Computer Science (University of Cambridge)
- Bachelor of Science Honours in Mathematics (Stellenbosch University)
- Bachelor of Science in Mathematics (Stellenbosch University)
Research
- Category Theory
- Logic
- Formal Languages
- Compilers