PhD in Computer Science Algorithms and Complexity Group, University of Bristol Supervised by Christian Konrad Education