Родился в 1947 году в Амстердаме.
В 1952—1965 годы учился в образовательных учреждениях, использующих систему Монтессори.
В 1967 году окончил Утрехтский университет по классу математической логики, получив степень магистра.
В 1971 году под руководством Дирка ван Далена (нидерл. Dirk van Dalen) и Георга Крайзеля (нем. Georg Kreisel) защитил докторскую диссертацию (Ph. D.) по экстенсиональным моделям -исчисления и комбинаторной логики.После защиты диссертации в 1971—1972 годах работал исследователем в Стэнфордском университете.
С 1972 по 1986 год занимал профессорские должности в Утрехтском университете.
С 1986 года — профессор Университета Неймегена, заведующий кафедрой оснований математики и информатики.
В разное время работал на приглашённых позициях в Дармштадтском техническом университете, Швейцарской высшей технической школе Цюриха, Университете Карнеги — Меллон, Киотском университете, Сиенском университете.Увлекается буддизмом и медитацией, публикует статьи о медитации в психологических и научно-популярных журналах.