Anders Mörtberg Add us as a preferred source on Google
🔄 Data last refreshed 17 days ago
🤝
Make a deal with Anders Mörtberg
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
258
Account age
3 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🎁 Free analysisfor Anders Mörtberg
📊 Post engagement
Recent posts · likes + reposts
Mar 19latest
20
Avg engagement / post
2–41
Typical post (engagement)
7.8%
Engagement vs followers
51/100
Consistent reach
Oct 2023
On Mastodon since
Half of recent posts land between 2 and 41 likes + reposts (median 11) — a dependable floor a sponsored post can count on.
🔥 Top post: We are hiring PhD students in Computational Mathematics and Math · 68 likes + reposts
📊 Activity & format
Posting cadence
0.15 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
2.3×
Follows 112 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Disclaimer: We are currently in the process of working out the details. If someone knows about some other recent advances on this problem please let us know.
A colleague and I have used various AI systems to search for a Bézout domain which is not an elementary divisor domain (EDD). We now have a candidate solution which has been auto-formalized in Lean: https://github.com/Zelaron/bezout-counte…
We have two temporary positions (1 year) as lecturer/associate professor/universitetslektor in Mathematics and Computational Mathematics at Stockholm University:
https://su.varbi.com/en/what:job/jobID:919667/where:4/
https://su.varbi.com/…
Gothenburg University is hiring a postdoc to work on compilation of cubical programs: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=40092
Very cool project with lots of poten…
We are organizing a 3rd workshop on the syntax and semantics of type theories in Ljubljana June 4-5: https://ul-fmf.github.io/mfps-sstt-2026/sstt/
Contributed talks are very welcome and short abstracts (max 1 page) should be submitted by T…
The other day I stumbled upon the fibration identity principle and the embedding identity principle in the agda/cubical library: https://github.com/agda/cubical/blob/master/Cubical/Functions/Embedding.agda#L323
I feel like I've seen this s…
It's a pity we use reversals (~) so much in Cubical Agda as the De Morgan cubical model is known to not be equivalent to traditional spaces/infty-groupoids. I had a look and ~ occurs in 3064 places in the agda/cubical library, so unfortuna…
PS: The code is still quite a mess, but we will clean it as we merge it into the agda/cubical library.
In the early 1950s Jean Pierre Serre proved a remarkable result establishing that the homotopy groups of spheres are all finite except for a few special cases. A synthetic proof in HoTT of this landmark result was announced by Reid Barton …
If someone on here, or someone you know, is on the hunt for doing a postdoc on topics like type theory, HoTT, cubical, constructive math, etc,... Then drop me an email!
Please boost so that it gets out to as many as possible 🙂
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Oct 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 20 views per post.
📤Posts about 0.2× per week.
🕵️ Fake follower check
Estimated66/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~7.8% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Associate professor (docent) in computational mathematics at Stockholm University.
I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.
Webpage: https://staff.math.su.se/anders.mortberg/
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →
Mastodon
＋
mlinksva ✓
@mlinksva@mastodon.social
258
Followers
Mastodon
＋
ultra0 ✓
@ultra0@wetdry.world
258
Followers
Mastodon
＋
Ageric
@ageric@flipping.rocks
258
Followers
Mastodon
＋
Laurent Gatto ✓
@lgatto@fediscience.org
258
Followers
Mastodon
＋
Rosita (she/her)
@rosita311@mastodon.social
258
Followers
Mastodon
＋
Maths Gear
@mathsgear@mathstodon.xyz
258
Followers
Frequently asked questions
How much does Anders Mörtberg charge for a sponsorship?
Anders Mörtberg 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 Anders Mörtberg for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Anders Mörtberg, 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 Anders Mörtberg have?
Anders Mörtberg has 258 followers on Mastodon.
✉ Message Anders Mörtberg
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 Anders Mörtberg
Booking an event / appearance is a Pro feature. Upgrade to book Anders Mörtberg for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Anders Mörtberg 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.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove