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

Hoogleraar - Software Science

prof. dr. J.H. Geuvers (Herman)
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
  • Software Science (Foundations group)