Arnoud van der Leer - Mathematician and Computer Scientist