Tom de Jong
@de-jong-tom.mathstodon.xyz.ap.brid.gy
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/
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
No videos yet.