Fachbereich Informatik, Technische Universität Darmstadt King's College, Cambridge Computer Laboratory, University of Cambridge