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