Prof. J.H. Geuvers (Herman)

Professor - Software Science

Chair: Theoretical Informatics

Contact

Visiting address

Toernooiveld 212
6525 EC NIJMEGEN
Internal postal code: 47

Postal address

Postbus 9010
6500 GL NIJMEGEN

Working days Monday, Tuesday, Wednesday, Friday

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

Research group