dr. T. de Jong (Tom)
Medewerker - Software Science
Toernooiveld 212
6525 EC NIJMEGEN
Postbus 9010
6500 GL NIJMEGEN
Werkdagen
maandag,
dinsdag,
woensdag,
donderdag,
vrijdag
Bewijsassistenten, (homotopy) type theory, grondslagen van de wiskunde, logica in informatica