Hey there 👋

I am an undergrad in my third year at the University of Edinburgh, studying Computer Science and Mathematics. My main interests are in applying rigorous mathematical proof methods to computer programs. In addition, I have a passion for teaching mathematics and computer science!