Aarhus University, Department of Computer Science