cambridge computer laboratory phd thesis