Anuj Dawar, University of Cambridge Computer Laboratory