De_jong_tom@mathstodon.xyz

De_jong_tom@mathstodon.xyz

de_jong_tom@mathstodon.xyz

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

👤 Visit De_jong_toms profile 👤 De_jong_toms Profil besuchen

✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen! 📰News 📰Neuigkeiten

Tags: birmingham computer mathematician nottingham scientist university

Rieviews

Bewertungen

🔝