I am an undergraduate student working towards a BSc in mathematics and computer science at the University of Canterbury.

My research interests consist of algebra, logic, type theory, and category theory, which I seek to apply to programming language design and implementation, alongside foundational topics in mathematics.