I was born in 1948 in Rotterdam, the Netherlands. I am 50 years married with Corrie van Deutekom. We have four children, two daughters and two sons, between 41 and 48 years old. We also have nine grandchildren, four grandsons and five granddaughters. They were born on Christmas-day 1997, Friday 12 March 1999, Thursday 17 October 2002, Tuesday 8 November 2005, Tuesday 26 May 2009, Monday 10 October 2011, Wednesday 13 June 2012, Sunday 7 December 2014, and Monday 9 February 2015. My second youngest grandchild, my two eldest children, Corrie, and I are all Sunday children.
I received an M.Sc. degree in physics from Delft University of Technology in 1971 and a Ph.D. degree in mathematics and computer science from the University of Amsterdam in 1990. I was part-time full professor of applied logic at Utrecht University from 1992 till 2003 and part-time full professor of computer science at Eindhoven University of Technology from 2003 till 2007.
After my graduation in 1971, I did varying work as scientific staff member at KPN Research (also known as Dr. Neher Laboratories), Leidschendam, till 1995. I did mainly research, but also development and consultancy. A choice from the areas in which I worked: systems software, relational databases, semantics of programming languages, compiler construction, software reusability, programming techniques, formal methods for software development, and concurrency theory.
In 1996 and 1997, I was on a two-year leave at UNU/IIST (United Nations University, International Institute for Software Technology), Macau, where I was a senior research fellow. There I supervised post-graduate students from developing countries working on topics from a research programme aimed at enhancing the possibilities for analysis of specifications written in SDL, the language mostly used for describing telecommunications systems at the time. I also delivered postgraduate courses and research trainings in developing countries that linked up with this research programme.
In 1998, I worked a short time at KPN Research, Leidschendam, and CWI (Centre of Mathematics and Computer Science), Amsterdam. From October 1998 till April 2007, I worked at Eindhoven University of Technology and from December 2005 till December 2009, I worked at the University of Amsterdam. From 1998, I did mainly research in the areas of concurrency theory, theory of programs, and theory of number systems. From December 2009 till March 2013, I was jobless and doing unpaid research. Since March 2013, I am officially retired. From my retirement till now, I am cutting down on doing research.
I get easily excited over all kinds of major and minor issues that, in my opinion, bear witness of ignorance, injustice, etc. So you are warned.