University of Copenhagen Department of Computer Science