Prof. J.H. Geuvers (Herman)
Professor - Software Science
Toernooiveld 212
6525 EC NIJMEGEN
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- Software Science (Foundations group)