ℹ️ This listing was auto-generated from Mastodon's public data. Hei Li 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 Hei Li
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
105
Account age
1 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 Hei Li
📊 Post engagement
23
Avg engagement / post
21.9%
Engagement vs followers
Sep 2024
On Mastodon since
🔥 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 96 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 — 1 year 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.
Ian Williamson
17%
enne🐝🌞
17%
Chermaine
17%
Alex Papageorgiou
14%
Christophe Sauveur
10%
Lucilla Lin
10%
More like this
Find more →
Mastodon
Ian Williamson
@tuckerjj@mastodon.online
105
Followers
Mastodon
enne🐝🌞 ✓
@enne@sunny.garden
105
Followers
Mastodon
Christophe Sauveur ✓
@chsxf@mastodon.gamedev.place
105
Followers
Mastodon
Lucilla Lin
@lucillalin@mstdn.social
105
Followers
Mastodon
Chermaine
@chermaine@mstdn.social
105
Followers
Mastodon
Alex Papageorgiou ✓
@alkoclick@hachyderm.io
105
Followers
✉ 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.