
Rob Nederpelt

About Rob NederpeltLast 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 (HeriotWatt University, Edinburgh). He also published in 2004 two books that were coauthored 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:

