Tom de Jong
LightNews LightNews
banner
de-jong-tom.mathstodon.xyz.ap.brid.gy
Tom de Jong
@de-jong-tom.mathstodon.xyz.ap.brid.gy
45 followers 1 following 43 posts
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/
Posts Replies Media Videos
de-jong-tom.mathstodon.xyz.ap.brid.gy
I enjoyed talking about my expository paper (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) at this wonderful CIRM event this morning.
https://conferences.cirm-math.fr/3377.html

Thanks to Jacopo Emmenegger for the photo!

#typetheory #HomotopyTypeTheory #hott
A photo of me in front of three stacked blackboards mostly covered with diagrams and mathematics.
September 12, 2025 at 12:21 PM
de-jong-tom.mathstodon.xyz.ap.brid.gy
Among (aspiring) type theorists, J rules!
I trust they are all working hard to eliminate those pesky identity types!

Credit goes to @jacobneu for the poster and the original observation.
Poster listing the names of four people in Office C41 of the FP Lab. All first names start with the letter "J".
February 20, 2025 at 2:05 PM
de-jong-tom.mathstodon.xyz.ap.brid.gy
I'm pleased to announce that the Heyting Day will be held in Amsterdam on Friday 14 March 2025.

Its theme will be models of #intuitionism and #computability and mark the retirement of Jaap van Oosten.

The invited speakers are:
- @andrejbauer (Ljubljana)
- […]

[Original post on mathstodon.xyz]
December 20, 2024 at 8:35 AM