Algorithmic Systems
Hoofd Dept Informatica (1977-19xx, 19yy-19zz, 200u-200v)
Decaan Faculteit Wiskunde en Informatica (1994-1999, 2003-2005)
Vice-decaan voor Natuurwetenschappen, Faculteit Betawetenschappen (2005-2009)
Academia Europaea (lid)
Koninklijke Hollandsche Maatschappij der Wetenschappen (lid)
Distinguished Lorentz Fellow 2009, Lorentz Center / Netherlands Institute for Advanced Study
Dr.h.c. Naturwissenschaften, RWTH Aachen
R.R. Hawkins Award 2013
ACM Distinguished Service Award 2013
Professor em. (20-12-2011)