| Rob Nederpelt
About Rob Nederpelt
Last changes: September 16th, 2014
Robert Pieter Nederpelt Lazarom is a guest researcher in the Department of Mathematics and Computer Science,
group Model Driven Software Development, of the Technische Universiteit (University of Technology)
Eindhoven, the Netherlands.
He is currently working on the theory of formalizing mathematical texts with help of a computer. This is a continuation of his work with de Bruijn, which was followed, two decades ago, by an intensive collaboration with Fairouz Kamareddine (Heriot-Watt University, Edinburgh). He also published in 2004 two books that were co-authored by mrs. Kamareddine.
In using type theory as a medium for fully expressing all kinds of mathematical thoughts -- ranging from definitions to theorems and complete proofs -- he follows the lines marked out by N.G. de Bruijn and filled in by Henk Barendregt and his group at the University of Nijmegen. One member of the Nijmegen staff is Herman Geuvers, with whom Rob Nederpelt recently published a book: `Type Theory and Formal Proof. An Introduction' (Cambridge University Press, 2014).
Outside the university, Rob Nederpelt has the following favourites, apart from family life and friends: