🤝
Make a deal with MSP Group
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
260
Account age
2 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 MSP Group
Known for
9 views
On Thursday 14 May at 15:00, Fredrik Nordvall Forsberg will give a talk in the #MSP101 seminar entitled
> Constructive transfinite constructions
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
9 views
On Thursday 7 May at 15:00, Bob Atkey will give a talk in the #MSP101 seminar entitled
> Embedding containers in coherence spaces
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
6 views
On Monday 16, March 2026 our very own @clemens will be giving:
> Thin behaviours, (co)algebraically (Part I)
More details can be found on the @spli and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
3 views
On Thursday 11 June at 15:00, Clemens Kupke will give a talk in the #MSP101 seminar entitled
> Basic Stone Duality (classically)
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
📊 Post engagement
5
Avg engagement / post
1.9%
Engagement vs followers
Jan 2024
On Mastodon since
🔥 Top post: Interested in joining the MSP group as a postdoctoral fellow? We · 13 likes + reposts
📊 Activity & format
Posting cadence
0.72 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly images
Recent: 2 text · 10 image · 0 video.
Follower / following
8.4×
Follows 31 back. A strong ratio — an audience that follows them, not a follow-for-follow network.
Recent posts
View on Mastodon ↗
On Thursday 16 July at 15:00, Jamie Kai will give a talk in the #MSP101 seminar entitled
> Indexical Reasoning About Imperative Data: Why Fold if you can Crimp?
The talk will take place in Livingstone Tower room LT711.
More details can be …
RE: https://mastodon.scot/@spli/116776528853287043
SPLV'26, like all SPLVs, is a wonderful chance to interact with lots of wonderful and exciting people to talk all things related to formal methods, PL, and verification.
We are so proud t…
On Thursday 11 June at 15:00, Clemens Kupke will give a talk in the #MSP101 seminar entitled
> Basic Stone Duality (classically)
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at …
On Thursday 4 June at 15:00, Rin Liu will give a talk in the #MSP101 seminar entitled
> ilsts (Symmetric List Objects) Part 2
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at htt…
On Thursday 28 May at 13:00, Rin Liu will give a talk in the #MSP101 seminar entitled
> ilsts (Symmetric List Objects)
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://ms…
On Thursday 21 May at 13:00, Emma Tye will give a talk in the #MSP101 seminar entitled
> A Rig of Transformations
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://msp.cis…
On Thursday 14 May at 15:00, Fredrik Nordvall Forsberg will give a talk in the #MSP101 seminar entitled
> Constructive transfinite constructions
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @sp…
On Thursday 7 May at 15:00, Bob Atkey will give a talk in the #MSP101 seminar entitled
> Embedding containers in coherence spaces
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at…
On Monday 30 March at 13:00, Sam Fish will give a talk in the #MSP101 seminar entitled
> Categorical Quantum Nonlocality
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at https://…
On Monday 23 March at 13:00, Emma Tye will give a talk in the #MSP101 seminar entitled
> (A very belated) Advert for POPL'26
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli Zulip and at http…
On Monday 16, March 2026 our very own @clemens will be giving:
> Thin behaviours, (co)algebraically (Part I)
More details can be found on the @spli and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
🐘 Community & instance
Home server
mastodon.acm.org
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
Jan 2024
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2024 — 2 years ago.
👁️Averages 5 views per post.
📤Posts about 0.7× per week.
🕵️ Fake follower check
Estimated84/100
Excellent
Credibility score
95%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 95% real, active audience · Low fake-follower risk.
- Strong engagement (~1.9% of followers engage each post) — an active, real audience.
- Verified account.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Mathematically Structured Programming group @ The University of Strathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.
Toots by @jfdm && @dylan &&
@dilsatby
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Tom Gwynplaine
15%
bijram
12%
Forest:ArchaicCollective
11%
Slayerranger/Crackamphetamine
11%
Dan Wing
10%
lunya :neocat_flag_plural::neobot_floof_devil:
10%
More like this
Find more →
Mastodon
Dan Wing
@danwing@infosec.exchange
260
Followers
Mastodon
lunya :neocat_flag_plural::neobot_floof_devil:
@sleepybisexual@mk.absturztau.be
260
Followers
Mastodon
Forest:ArchaicCollective
@forest_jungle_collective@archaeo.social
260
Followers
Mastodon
Tom Gwynplaine
@tomgwynplaine@101010.pl
260
Followers
Mastodon
Slayerranger/Crackamphetamine
@crackamphetamine@cyberplace.social
260
Followers
Mastodon
bijram
@bijram@graz.social
260
Followers
✉ Message MSP Group
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 MSP Group
Booking an event / appearance is a Pro feature. Upgrade to book MSP Group for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ MSP Group 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.