Henk Barendregt

About the Author

Henk Barendregt is a distinguished Dutch mathematician and computer scientist renowned for his pioneering contributions to mathematical logic and theoretical computer science. With a career spanning decades, he has delved deeply into the intricacies of type theory and lambda calculus, shaping the foundations of modern programming languages and proof assistants. Barendregt's work bridges abstract mathematics with practical computation, influencing fields from automated theorem proving to functional programming paradigms. As an emeritus professor at Radboud University Nijmegen, he continues to mentor the next generation of researchers while exploring advanced topics in logic and computation. His rigorous yet accessible approach has earned him international acclaim, including the prestigious 2023 ACM Paris Kanellakis Theory and Practice Award for his foundational role in the development of Coq and related systems.