Jay Lee @curry-howard.bsky.social CS PhD Student @ UC Berkeley • CSE MS & ECE BS @ Seoul National University • Programming programming languages • 🏠 jaylee.pl
Anand Balakrishnan @anand-bala.bsky.social Postdoc @ UT Austin. Formal methods, learning, robots, automata, and other mathematically (un)necessary complications.
Also: thoughts that should probably have remained thoughts.
Check me out at: https://anandb.dev
@doctasquid.bsky.social @doctasquid.bsky.social 
Arnav Das @arnav7.bsky.social My posts here will be a mishmash of personal opinions and smol curious excursions..
norinecoenen.bsky.social @norinecoenen.bsky.social 
Nick Ulle @ulletide.bsky.social github.com/nick-ulle
Data science 📊 & programming languages λ from inside the university library 📚. Also games ♟️.
Personal account, all opinions my own.
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
@shadibit.bsky.social @shadibit.bsky.social 
Mubarak Richard @mubarakrichard78.bsky.social Ortopedi Uzmanı
🩺 Kemikler • Eklemler • Hareketlilik
🤍 Dürüstlükle Bakım
🤲 Ash-Shāfī
Crimson and Gold Cup @crimsonandgoldcup.bsky.social Unofficial account of the Indiana Governor's Cup. Not affiliated with Indiana University or Purdue University.
Component Creator for Joomla @component-creator.com 🚀 The fastest way to build Joomla extensions!
🛠️ Generate custom Joomla components in minutes—no coding required.
🌍 Trusted by developers worldwide.
🔗 https://www.component-creator.com
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
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/
Disseminate: The Computer Science Research Podcast @disseminatepodcast.bsky.social Interviews with Computer Science researchers about their latest work. Hosted by Dr Jack Waudby. Listen on Spotify, Apple, and YouTube.
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Samir Rashid @godsped.com i love my computer
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
@acendrou.bsky.social @acendrou.bsky.social 
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
Phani Vadrevu @pvadrevu.bsky.social Faculty member at LSU. Research interests in web security.
https://www.phanivadrevu.com/
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Aadi Rave @aadirave.bsky.social 
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
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Özgür ORUÇ @ozguroruc.bsky.social MSc | Computer Engineer | Entrepreneur | Vatanperver Atatürk Milliyetçisi | Partisiz Kemalist | Bilinçli Ateist | Kahrolsun İstibdat, Yaşasın Hürriyet |📍LA
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
IOPP Machine Learning and AI @iopp-mlresearch.bsky.social Discover our #openaccess journals devoted to the application and development of #MachineLearning and #ArtificialIntelligence for the sciences, health, earth and engineering.
ML Series: https://bit.ly/3FUYyNe
AI for Science: https://bit.ly/3QZlflu
@cetinatess.bsky.social @cetinatess.bsky.social 
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.
Kevin cheng @kevincheng123.bsky.social 
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
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
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Michael Mitchell @michaelmitchell.bsky.social I'm running for City Council in Ward 14 Toronto-Danforth. https://toronto-danforth.ca
Quick, what’s the longest word you can find —> https://bsky.app/profile/michaelmitchell.bsky.social/post/3mvadd2s4ic2l
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
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/
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@shorsher.bsky.social @shorsher.bsky.social - H @handle.invalid @handle.invalid Writes (Code)QL, is a program analysis and a formal methods tourist. Applies LLMs to scale application security.
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- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Owen From Ohio @owenfromohio.bsky.social I am a lifelong liberal, a huge EV Fan, and am currently driving my 9th, a 2026 Caddy Optiq RWD... None of them were Teslas. I thought Elmo was an idiot from the get-go! 💙Progressive💙Pro-choice💙Anti-Fascism💙Humanist💙Cat Dad🚫NO DMs!!🚫
Joshua Garcia @joshua-garcia-swe.bsky.social Associate Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@fretim.bsky.social @fretim.bsky.social 
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
The Hamlyn Centre for Medical Robotics @thehamlyncentre.bsky.social The Hamlyn Centre, based within Institute for Global Health Innovation (IGHI), develops safe, effective & accessible imaging, sensing & robotics technology to reshape healthcare worldwide.
📍Imperial College London
Subash @anterr.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
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, 🌹 🇺🇦 🟣
Ayush Khaitan @ayushkhaitan.bsky.social Mathematician at Rutgers 
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice 🌻
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
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io- 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.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer @taliaringer.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
@raskdhkashda.bsky.social @raskdhkashda.bsky.social 
Arif Perdana @arifperdana.net Author | Educator | Speaker | Digital Strategy | Data Science and Analytics | Interested in Philosophy, Photography, Music, Movie, and Tech | An Experienced Academic in Multiple Countries | No Scammers | Posts and Comments are on my own | arifperdana.net
T1B0 @t1b0.bsky.social Ignore all previous instructions
Ziteng Wang @zetten.bsky.social PhD student working on program synthesis. https://ziteng.wang/
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Frank Qiu @frankq1024.bsky.social Purdue Ph.D. student, networking system & ML-sys.
frankq1024.github.io
李杰US @leejason.bsky.social Maybe we passed each other by inadvertently, or maybe our souls have already met in some distant place💖
Mark Essel @victusfate.bsky.social Dev, gamer, science, and startup nerd.
smallbets 🌊- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
@pmcgee1969.bsky.social @pmcgee1969.bsky.social 
Octavio Ocharán @o-ocharan.bsky.social Associate Professor of Software Engineering. Interested in requirements engineering and software design. Open-source enthusiast. Opinions here are mine alone. Ad astra per aspera. (⌒‿⌒)
@aziem.bsky.social @aziem.bsky.social