معرفی
Herman Geuvers is a University Lecturer at the Eindhoven University of Technology, affiliated with the Mathematics and Computer Science school and the Formal System Analysis department. His research focuses on formal verification, type theory, and automated reasoning, with a strong emphasis on proof assistants and logical frameworks.
- Research Areas: Formalization of proofs, type systems, logical consequence, and theorem proving.
- Key Collaborations: Projects involving Boolean equation systems, continuation calculus, and natural deduction rules.
Recent research outputs include investigations into de Bruijn's Automath proof checker (2022), formalization of consistent consequence for PBESs (2018), and derivations of natural deduction rules (2017). He actively supervises advisees in automated reasoning and formal methods.
His work is characterized by interdisciplinary applications of type theory in computer science and mathematics, with a focus on rigorous formal verification techniques.
