Tom de Jong

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

[bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/ ]