University of Copenhagen, Department of Computer Science, Denmark