About Tom de Jong

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

Lists

Timeline

de_Jong_Tom has no activity yet