Villum Investigator, Fellow of the ACM and IEEE, and Professor of Computer Science at Aarhus University.