Algorithmic Systems
Head Dept of Computer Science (1977-19xx, 19yy-19zz, 200u-200v)
Dean Faculty of Mathematics and Computer Science (1994-1999, 2003-2005)
Vice-dean for Natural Sciences, Faculty of Science (2005-2009)
Academia Europaea (member)
Royal Netherlands Society for the Sciences (member)
Distinguished Lorentz Fellow 2009, Lorentz Center / Netherlands Institute for Advanced Study
Dr.h.c. Naturwissenschaften, RWTH Aachen, Germany
R.R. Hawkins Award 2013
ACM Distinguished Service Award 2013
Professor em. (20-12-2011)