Biography

At Stellenbosch University in South Africa, I studied mathematics and computer science. At the University of Cambridge, I will pursue an MPhil in Advanced Computer Science. My interest in these subjects is rooted in the enjoyment of acquiring a deep and thorough understanding of a topic at hand. This I regard as a process that heavily relies on the development of a suitable formal language. Formal languages are omnipresent in computer science and are fundamental in the development of, for example, network protocols or programming languages. My current research interests lie in the applications of category theory and mathematical logic to formal language theory. I am also interested in the related area of proof assistants and their use in building provably correct software. The abstract nature of these topics leads to potential applications in a wide range of subjects. Thus, I hope to be an inspiration to and equally be inspired by the multidisciplinary and diverse Gates Cambridge community.

Previous Education

University of Stellenbosch Mathematics 2022
University of Stellenbosch Mathematics 2021