@de_Jong_Tom@mathstodon.xyz
Joined: 10/29/2022
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
de_Jong_Tom has no public lists
de_Jong_Tom has no activity yet