Oliver Soeser

About

I am an undergrad going into 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!