prof. dr. J.H. Geuvers (Herman)

Hoogleraar - Software Science

Leeropdracht: Theoretical Informatics

Contactinformatie

Bezoekadres

Toernooiveld 212
6525 EC NIJMEGEN
Interne postcode: 47

Postadres

Postbus 9010
6500 GL NIJMEGEN

Werkdagen maandag, dinsdag, woensdag, vrijdag

Logic in Computer Science, Computational Models, Type Theory, Lambda Calculus, Proof Assistants, Formal Methods for Software Verification

Onderzoeksgroep

Belangrijke publicaties

Herman Geuvers, Bart Jacobs, Relating Apartness and Bisimulation. Log. Methods Comput. Sci. 17(3) (2021) Volledige tekst
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide, Finite sets in homotopy type theory. CPP 2018 (eds. June Andronick, Amy P. Felty, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018), pp. 201-214 Volledige tekst
Herman Geuvers, Tonny Hurkens, Deriving Natural Deduction Rules from Truth Tables. ICLA 2017 (Eds. Sujata Ghosh, Sanjiva Prasad, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10119, Springer 2017), pp. 123-138. Volledige tekst
H. Geuvers, Proof Assistants: history, ideas and future , in Sadhana Journal, Academy Proceedings in Engineering Sciences, Special Issue on Interactive Theorem Proving and Proof Checking, Indian Academy of Sciences, Vol 34, part 1, February 2009, pp 3-25. Volledige tekst
Henk Barendregt, Herman Geuvers, Proof-Assistants Using Dependent Type Systems. Handbook of Automated Reasoning 2001: 1149-1238 Volledige tekst