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