ℹ️ This listing was auto-generated from Mastodon's public data. Ulrik Buchholtz hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Ulrik Buchholtz
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
483
Account age
9 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for Ulrik Buchholtz
Known for
50 views
I'm in Paris at @LipnLab to give a three-part mini-course on synthetic homotopy theory at the Université Sorbonne Paris Nord in Villetaneuse, starting today at 16:00 CET. It'll also be streamed and recorded via BigBlueButton; see the webpage for details: https://eur.univ-paris13.fr/en/events/mini-course-by-ulrik-buchholtz/
18 views
It’s not every day you get to witness one of the largest cranes in the world gently lifting a bridge in place.
11 views
Arrived in Vienna for the Logic Colloquium 2025. Come say hi, if you’re around. I’ll talk on Thursday on some logical aspects of my recent work with @danielgratzer and Jonathan Weinberger on simplicial type theory.
📊 Post engagement
24
Avg engagement / post
5%
Engagement vs followers
May 2017
On Mastodon since
🔥 Top post: Oh no, Thomas Streicher, who was a great friend and mentor to me · 73 likes + reposts
📊 Activity & format
Posting cadence
0.09 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
2.1×
Follows 227 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
I’m in Venice for the 7th Workshop on Formal Topology: https://events.math.unipd.it/7wftop/ – We already had some great talks by Thierry Coquand, Maria Manuel Clementino, and Steve Vickers. If you’re jealous, you can console yourself that …
I'm in Paris at @LipnLab to give a three-part mini-course on synthetic homotopy theory at the Université Sorbonne Paris Nord in Villetaneuse, starting today at 16:00 CET. It'll also be streamed and recorded via BigBlueButton; see the webpa…
I haven't seen this announced here: My colleague Thorsten Altenkirch launched a new podcast #aboutlogic together with cohost @DenizPhiMa – I enjoyed the first three episodes with Thorsten, Deniz, and @xenaproject, respectively. Find it in …
At the School of Computer Science at the University of Nottingham, we just opened applications for a limited number of PhD studentships. They are open to students of any nationality, but non-home students must be able to cover the addition…
It’s not every day you get to witness one of the largest cranes in the world gently lifting a bridge in place.
Arrived in Vienna for the Logic Colloquium 2025. Come say hi, if you’re around. I’ll talk on Thursday on some logical aspects of my recent work with @danielgratzer and Jonathan Weinberger on simplicial type theory.
Section 4 is a walking meditation on Engelbartian themes, from Wittgenstein and Anscombe, via Turing and Dijkstra, to recent work on embodied augmentation: https://open.substack.com/pub/fortunebuchholtz/p/high-mood-a-series-on-our-augmente…
In Section 3, Fortune talks about the Freudian psychology of working with LLMs, Extreme Programming inventor Kent Beck’s “Tidy First”, Toyota's Set-Based Concurrent Engineering (not that kind of set!), and more, still through the Engelbart…
My better half is writing a series on her substack on how to view the current attempts at augmented coding via LLMs through the lens of Doug Engelbart's framework of tools for collective intelligence amplification. The first two installmen…
At the School of Computer Science at the University of Nottingham, we just opened applications for 10 fully funded PhD studentships. Please see here for details on joining us at the Functional Programming Lab: https://people.cs.nott.ac.uk/…
This coming term, Amartya is organizing a reading group/seminar on Sati–Schreiber's Twisted Equivariant Differential K-theory, with meetings on Discord. See here for details: https://amartyasd.github.io/TQC/
I'm in Paris at @LipnLab to give a three-part mini-course on synthetic homotopy theory at the Université Sorbonne Paris Nord in Villetaneuse, starting today at 16:00 CET. It'll also be streamed and recorded via BigBlueButton; see the webpa…
I haven't seen this announced here: My colleague Thorsten Altenkirch launched a new podcast #aboutlogic together with cohost @DenizPhiMa – I enjoyed the first three episodes with Thorsten, Deniz, and @xenaproject, respectively. Find it in …
At the School of Computer Science at the University of Nottingham, we just opened applications for a limited number of PhD studentships. They are open to students of any nationality, but non-home students must be able to cover the addition…
It’s not every day you get to witness one of the largest cranes in the world gently lifting a bridge in place.
Arrived in Vienna for the Logic Colloquium 2025. Come say hi, if you’re around. I’ll talk on Thursday on some logical aspects of my recent work with @danielgratzer and Jonathan Weinberger on simplicial type theory.
Section 4 is a walking meditation on Engelbartian themes, from Wittgenstein and Anscombe, via Turing and Dijkstra, to recent work on embodied augmentation: https://open.substack.com/pub/fortunebuchholtz/p/high-mood-a-series-on-our-augmente…
In Section 3, Fortune talks about the Freudian psychology of working with LLMs, Extreme Programming inventor Kent Beck’s “Tidy First”, Toyota's Set-Based Concurrent Engineering (not that kind of set!), and more, still through the Engelbart…
My better half is writing a series on her substack on how to view the current attempts at augmented coding via LLMs through the lens of Doug Engelbart's framework of tools for collective intelligence amplification. The first two installmen…
At the School of Computer Science at the University of Nottingham, we just opened applications for 10 fully funded PhD studentships. Please see here for details on joining us at the Functional Programming Lab: https://people.cs.nott.ac.uk/…
This coming term, Amartya is organizing a reading group/seminar on Sati–Schreiber's Twisted Equivariant Differential K-theory, with meetings on Discord. See here for details: https://amartyasd.github.io/TQC/
🐘 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
May 2017
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2017 — 9 years ago.
👁️Averages 24 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated89/100
Excellent
Credibility score
99%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 99% real, active audience · Low fake-follower risk.
- Strong engagement (~5.0% of followers engage each post) — an active, real audience.
- Verified account.
- Established account (9+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Anderlandbooks
16%
chris :shakedown_street:
13%
Trystan Goetze 🦉🔧
12%
Piri 😊 + Jo 🐻
12%
Protect Our Province Alberta
11%
Canisius
11%
More like this
Find more →
Mastodon
Trystan Goetze 🦉🔧 ✓
@errantcanadian@zirk.us
483
Followers
Mastodon
Protect Our Province Alberta ✓
@popalberta@mstdn.ca
483
Followers
Mastodon
Anderlandbooks
@anderlandbooks@bookstodon.com
483
Followers
Mastodon
Canisius
@canisius@muenchen.social
483
Followers
Mastodon
Piri 😊 + Jo 🐻
@islandpiri@social.tchncs.de
483
Followers
Mastodon
chris :shakedown_street:
@chris@shakedown.social
483
Followers
✉ Message Ulrik Buchholtz
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Ulrik Buchholtz
Booking an event / appearance is a Pro feature. Upgrade to book Ulrik Buchholtz for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Ulrik Buchholtz gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.