Tom de Jong✓ Add us as a preferred source on Google

Mastodon @de_jong_tom@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 1 day ago

🤝

Make a deal with Tom de Jong

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

716

Account age

3 yrs

🎁 Free analysisfor Tom de Jong

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂
(Minor correction to the column: Jon isn't British.)

26 views As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.)

This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/
Can't say the same about the weather forecast...

12 views This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/ Can't say the same about the weather forecast...

📊 Post engagement

📊 Activity & format

Posting cadence

1 / week

A lower-frequency account — each post lands with more weight.

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

2.9×

Follows 247 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post The teaching materials (first version) for my course "Introduction to Homotopy Type Theory / Univalent Foundations" at ESSLLI 2026 are now available at https://github.com/tomdjong/ESSLLI-2026/ I really enjoyed putting this together and naturally I (re)learnt a thing or two mysel… ★ 37

One of the joys of using #Typesetter (a minimal editor for #typst) is that I find it improves after each update which is not usually the case for many other pieces of software 🥲️ ★ 6

This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/ Can't say the same about the weather forecast... ★ 12 The 37th European Summer School in Logic, Language and Information (ESSLLI), taking place from August 3rd to August 14th, 2026 at the Faculty of Civil Engineering, Czech Technical University, Prague, Czechia. https://2026.esslli.eu/ = Over… ★ 2 RE: https://mathstodon.xyz/@de_Jong_Tom/116435680670519184 The early-bird registration deadline for the European Summer School in Logic, Language and Information (ESSLLI) has been extended to 15 June. https://2026.esslli.eu/registration/re… ★ 5 Does anybody know how to typeset pullback/pushout corners in typst/fletcher? The code provided at https://github.com/Jollywatt/typst-fletcher/issues/50#issuecomment-2851846670 does not quite work for me and even when it does, it requires e… ★ 3 RE: https://mathstodon.xyz/@iblech/116675413147766207 I didn't know of this collection of notes by (the late) Thomas Streicher. Thanks for sharing them! https://www2.mathematik.tu-darmstadt.de/~streicher/mixed.pdf ★ 15 RE: https://mathstodon.xyz/@de_Jong_Tom/116075617642121293 Application deadline: 1 June. This year's edition will be the 10th! ★ 5 RE: https://mathstodon.xyz/@de_Jong_Tom/116435680670519184 Just over two weeks before early registration ends (31 May)! ★ 4

As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.) ★ 26 #TYPES 2026 is done! The slides for my talk are here: https://tdejong.com/talks/TYPES-2026.pdf. Joint work with @ljungstrom and @Nicolai_Kraus. ★ 20 On my way to Gothenburg for #TYPES. Please come and say hi! ★ 9

🐘 Community & instance

Home server

mathstodon.xyz

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

✅ Link-verified

Verified link

Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.

On Mastodon since

Oct 2022

Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.

💡 Facts

🗓️Joined Mastodon in 2022 — 3 years ago.

👁️Averages 12 views per post.

📤Posts about 1× per week.

🕵️ Fake follower check

Estimated

75/100

Good Credibility score

92%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 92% real, active audience · Low fake-follower risk.
Engagement (~1.7% of followers engage each post) is around typical for Mastodon.
Verified account.
Established account (3+ years old).

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

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

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

シナモン（氷の女王編 ❄️👑） 18%

The Gay Diaries 17%

かしぴ 16%

Mikko Husari 14%

suzanne 14%

Richard SpaceHistory Paul 12%

More like this

Find more →

Mastodon ＋

The Gay Diaries

@thegaydiaries@mastodon.social

716 Followers

Mastodon ＋

シナモン（氷の女王編 ❄️👑）

@cinnamon@mk.absturztau.be

716 Followers

Mastodon ＋

Mikko Husari ✓

@husku@eliitin-some.fi

716 Followers

Mastodon ＋

Richard SpaceHistory Paul

@spacehistory@sunny.garden

@shirakasiao@mstdn.jp

716 Followers

Frequently asked questions

How much does Tom de Jong charge for a sponsorship?

Tom de Jong hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.

How do I contact Tom de Jong for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Tom de Jong, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.

How many followers does Tom de Jong have?

Tom de Jong has 716 followers on Mastodon.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

Tom de Jong✓ Add us as a preferred source on Google

Make a deal with Tom de Jong

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Tom de Jong

🎤 Event / appearance with Tom de Jong