Integrated Master's in Mathematics and Computer Science University of Bristol Thesis supervised by Dr Carl Henrik Ek Education