Foster child, Buffee LysNelson. Master of Science in Mathematics, Utrecht University, The Netherlands, 1968, Doctor of Philosophy in Mathematics, 1971.
Assistant professor philosophy Utrecht University, 1969-1975, associate professor, 1976-1980, associate professor mathematics, 1981-1985, professor computer science Nijmegen University, since 1986. Consultant, referee National Science Foundation and other similar organizations, United States, Netherlands, Canada, since 1975. Chairman Buddharama Temple, Waalwijk, The Netherlands, 1981-1988.
Member Association Symbolic Logic (member of council 1985-1987), Nederlandse Vereniging voor Logica (member of council 1972-1979, secretary).