Department of Computer Science, Aarhus University