Hei Li Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Hei Li
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
105
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 analysisfor Hei Li
📊 Post engagement
Recent posts · likes + reposts
Feb 21latest
23
Avg engagement / post
2–9
Typical post (engagement)
21.9%
Engagement vs followers
0/100
Spiky reach
Sep 2024
On Mastodon since
Half of recent posts land between 2 and 9 likes + reposts (median 3) — reach is spiky, driven by the occasional post that pops.
🔥 Top post: Project Hail Mary is not hard science fiction because I did not · 200 likes + reposts
📊 Activity & format
Posting cadence
0.58 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
1.1×
Follows 97 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
CPP organizing committee better start planning ahead for the flood of papers to come.
Leaving the office at 1650 and two colleagues separately asked whether Im taking a half day 💀
Me: hi Im sorry, I would like to change my name on my name tag
Neringa: oh Ill print a new one for you, do you want an image with it?
Me: an image...?
Neringa: yes, like an emoji?
Me:
How does it feel being the smartest PhD student working on probability and separation logic and who also happens to have the surname "Li"?
No idea. You should ask John Li.
If you need an LLM to help write your review, maybe you are not in a position to write the review to start with.
My first try of building Foxtrot's model was too simplistic. Combining traces in the non-probabilistic world to form a longer trace is straightforward; one just connects the end points.
But this does not fly that easily in the scheduler ca…
The planning of Foxtrot started long ago, as far back as December 2024. I was wondering how one could extend ReLoC into a probabilistic setting, which should ideally also support basic coupling rules found in probabilistic logics.
The hea…
Our first paper describes Foxtrot, the first separation logic for proving contextual refinement of higher-order concurrent probabilistic programs with higher-order local state. It is formalized in Rocq with the Iris framework.
It supports …
My collaborators and I have two papers accepted at PLDI 2026!
Extremely happy about these results, and I will write a bit more about them soon :)
Sleep was not great because I had a panicky dream where in order to graduate from my PhD, in addition to a research exchange abroad, I also have to direct a short film.
Good bye my personal laptop of 5 years. You served me well. Shame you didnt know how to swim (i spilled a whole cup of water on it)
Me: hi Im sorry, I would like to change my name on my name tag
Neringa: oh Ill print a new one for you, do you want an image with it?
Me: an image...?
Neringa: yes, like an emoji?
Me:
How does it feel being the smartest PhD student working on probability and separation logic and who also happens to have the surname "Li"?
No idea. You should ask John Li.
If you need an LLM to help write your review, maybe you are not in a position to write the review to start with.
My first try of building Foxtrot's model was too simplistic. Combining traces in the non-probabilistic world to form a longer trace is straightforward; one just connects the end points.
But this does not fly that easily in the scheduler ca…
The planning of Foxtrot started long ago, as far back as December 2024. I was wondering how one could extend ReLoC into a probabilistic setting, which should ideally also support basic coupling rules found in probabilistic logics.
The hea…
Our first paper describes Foxtrot, the first separation logic for proving contextual refinement of higher-order concurrent probabilistic programs with higher-order local state. It is formalized in Rocq with the Iris framework.
It supports …
My collaborators and I have two papers accepted at PLDI 2026!
Extremely happy about these results, and I will write a bit more about them soon :)
Sleep was not great because I had a panicky dream where in order to graduate from my PhD, in addition to a research exchange abroad, I also have to direct a short film.
Good bye my personal laptop of 5 years. You served me well. Shame you didnt know how to swim (i spilled a whole cup of water on it)
🐘 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
Sep 2024
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2024 — 2 years ago.
👁️Averages 23 views per post.
📤Posts about 0.6× per week.
🕵️ Fake follower check
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~0.2× of followers engage each post) — an active, real audience.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.
(Mostly non maths related posting)
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Shawn Brown :python:
18%
davidvedvick
18%
SpokenMantra
17%
Alex Papageorgiou
14%
Amy Mason
11%
Playne Jayne
11%
More like this
Find more →
Mastodon
＋
Alex Papageorgiou ✓
@alkoclick@hachyderm.io
105
Followers
Mastodon
＋
Amy Mason
@turtlecatpurrz@sfba.social
105
Followers
Mastodon
＋
Shawn Brown :python: ✓
@shawnbrown@mstdn.social
105
Followers
Mastodon
＋
SpokenMantra
@pandaamaruu@mstdn.games
105
Followers
Mastodon
＋
Playne Jayne
@afroisreborn@mastodon.social
105
Followers
Mastodon
＋
davidvedvick ✓
@davidvedvick@fosstodon.org
105
Followers
Frequently asked questions
How much does Hei Li charge for a sponsorship?
Hei Li 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 Hei Li for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Hei Li, 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 Hei Li have?
Hei Li has 105 followers on Mastodon.
✉ Message Hei Li
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 Hei Li
Booking an event / appearance is a Pro feature. Upgrade to book Hei Li for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Hei Li 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