- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
@doctasquid.bsky.social @doctasquid.bsky.social 
@virtue-carrot.bsky.social @virtue-carrot.bsky.social 
BabySwiss @284-220.bsky.social Loves to swim
@arthur-ionescu.bsky.social @arthur-ionescu.bsky.social Researchgate profile: https://www.researchgate.net/profile/Arthur-Ionescu/research
Philpapers profile: https://philpeople.org/profiles/arthur-ionescu
Mastodon profile: https://mastodon.social/@ArthurI
El Benjas @benjas.bsky.social Persona de a pie y meditador de vipassana
Aaron Eline @aaroneline.bsky.social 
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
@streamlight.bsky.social @streamlight.bsky.social 
Youlong Ding @youlongding.bsky.social MSc@HUJI, TCS, Cryptography, Machine Learning
https://youlongding.github.io/
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
James Curbo @curbo.org 👨💻 Cyber researcher at JHU Applied Physics Lab
📐 Doctor of Engineering, JHU Whiting School of Engineering (space cyber)
🔭 Amateur astronomer
🕹️ Video game connoisseur
📚 Math/science/history nerd, married to a geologist
✈️ USAF vet
https://curbo.space/
Th. Ma. @thierry.marianne.io 
@acendrou.bsky.social @acendrou.bsky.social 
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
Jeremiah Darais @jdarais.bsky.social Software engineer in the bay area. Mostly here for the art. Also on Mastodon.
Mastodon: https://sfba.social/@jdarais (bridged to bsky on @jdarais.sfba.social.ap.brid.gy)
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
Nick Rioux @nickrioux.bsky.social Programming will get better.
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
Sam Lindley @reifyreflect.bsky.social 
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
ÅlïWóÒD-Æœn-Bokaiyan🎭👨🎨🎨🎙️🎤🔊🎧✠❂❁🤠 @games2.com Ëñkï-soul burning through galaxies, halfway through The Milky Way, vibrating, resonating, and enjoying what the cosmos brings into focus!😎
Æœn îbn abį Ñōurî Tæłîb Śãmīī (AS)ÅłïWóÒD Pęrfėžãšīåñ(Šåms Rášhty)🔥Ÿæżdî
307AliWooD/AliWooD4Hou/StäRmäÑ/*SM*/Tech🤯🎙️🗣️
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Graeme McCutcheon @graememcc.bsky.social Software developer, lapsed Mozilla contributor
graememcc.co.uk
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Samuel Ainsworth @skainswo.bsky.social prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
Subash @anterr.bsky.social 
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Severin Kacianka @severinkacianka.bsky.social Weekday PostDoc Researcher in Accountability, Causality and Ethics at TU Munch and Weekend Mountaineer 
Stephanie Weirich @fancytypes.bsky.social Tell me about types- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
Prof Christelle Vincent @xl772.bsky.social Math, cryptography, justice. No alt text = no engagement. Cis het white woman, québécoise, Canadian American, tired.
Profile pic: Free Link on orange background; banner pic: masked white woman giving a talk entitled “Introduction to cryptography”
june wunder @junewunder.com Programming languages/Type theory PhD Candidate at BU. Graduating December 2026, looking for work for March 2027. I make type systems for reactive and asynchronous systems. https://www.junewunder.com
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice 🌻
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
CryptoRobby 🦋 @cryptorobby.com Bitcoinㅣweb3ㅣNFT & digital art & boredape collectorㅣblockchain enthusiastㅣ#ReturnOnSociety ❤️
[CryptoRobby] 🦋
www.linkedin.com/in/cryptorobby
founder speaker angel investor IRL
📍Vienna 🇦🇹 🌈- B @badgery.bsky.social @badgery.bsky.social
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him- J @joerocca.bsky.social @joerocca.bsky.social Low-alpha lurking/reposting account. Interested in OSS ML, web, XR, EA (esp WAS/WAW), alt proteins, housing, aging, and stuff like that
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Talia Ringer @taliaringer.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Michael McLoughlin @mmcloughlin.com Mathematical Software Engineer
@raskdhkashda.bsky.social @raskdhkashda.bsky.social 
Matt Might @matt.might.net A private citizen
@gabedijkstra.bsky.social @gabedijkstra.bsky.social 
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Gabriela Araujo Britto @gabritto.bsky.social 
@mjo3141.bsky.social @mjo3141.bsky.social 
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Yanks Sowe @yankuba22.bsky.social God is the greatest 🙏
Miu @trmiu.bsky.social 
Jim Fowler @kisonecat.com associate professor in mathematics
at The Ohio State University
he/him
https://youtube.com/kisonecat