Dr T. de Jong (Tom)
Employee - Software Science
Toernooiveld 212
6525 EC NIJMEGEN
Postbus 9010
6500 GL NIJMEGEN
Working days
Monday,
Tuesday,
Wednesday,
Thursday,
Friday
Proof assistants, (homotopy) type theory, foundations of mathematics, logic in computer science