Rob Nederpelt

Rob Nederpelt is a University Researcher at the Mathematics and Computer Science department of Eindhoven University of Technology. His work focuses on Type Theory, Formal Proof, and Formalization of Mathematics, with significant contributions to Automath, the earliest proof checker.

• Research areas: Type Theory, Formal Proof, Lambda Calculus, Type Systems, Formalization, Computer Science history
• Notable collaborations: Herman Geuvers, Fairouz Kamareddine, Francien Dechesne

His research output includes a 2022 analysis of Automath, a 2014 textbook on type theory, and historical studies of formal systems. Key subfields span formal verification, proof assistants, and logical frameworks. He has over 240 citations and maintains active academic presence through peer-reviewed publications.

Selected publications highlight trends in type systems (100%), proof checking (100%), and historical context (100%) analysis. His work bridges mathematical logic and computer science, emphasizing rigorous formal methods.