About me

I was born in 1948 in Rotterdam, the Netherlands. I am 51 years married with Corrie van Deutekom. We have four children, two daughters and two sons, between 42 and 49 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 and a Ph.D. degree in mathematics and computer science from the University of Amsterdam. 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 at KPN Research (formerly known as Dr. Neher Laboratories) till 1996. 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, programming, concurrency, and formal methods for software development.

In 1996 and 1997, I was on a two-year leave at UNU/IIST (United Nations University, International Institute for Software Technology), where I supervised post-graduate students from developing countries and delivered post-graduate courses and research trainings in developing countries. In 1998, I worked a short time at KPN Research, and CWI (Centre of Mathematics and Computer Science).

From October 1998 till December 2009, working at Eindhoven University of Technology and the University of Amsterdam, I did mainly theoretical work in the areas of programming, concurrency, logic, and 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.