David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Cory LaNou @corylanou.bsky.social 30+ yrs writing code. Go expert now deep in AI-powered development. Founder GopherGuides - Co-author Go Fundamentals. 10K+ devs trained. Videos & blog
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Ben Liblit @liblit.bsky.social 
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Anirudh Khatry @anirudhkhatry.bsky.social CS PhD @utaustin.bsky.social
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
inthmvie @inthmvie.bsky.social Prod
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
@fdeitylink.bsky.social @fdeitylink.bsky.social 
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Hridesh Rajan @hridesh.bsky.social Hridesh Rajan is the Dean of the Tulane University School of Science and Engineering. At Tulane, his goal is to grow interdisciplinary, research-focused education in science and engineering for better lives. https://sse.tulane.edu
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Guilherme Espada @guipsp.bsky.social PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
nihil2501 @nihil2501.bsky.social 
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
@zinfour.bsky.social @zinfour.bsky.social 
@gaganchandan.bsky.social @gaganchandan.bsky.social 
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Phd le jeu @phd-le-jeu.bsky.social Le jeu de cartes incontournable sur le doctorat
https://fr.ulule.com/phd_jeu/
en cours de financement
Robin Rohwer @robinrohwer.bsky.social Microbial ecology and evolution. Special love for freshwater lakes & long-term time series 🌊🌊🌊 ➡️ ⏳⏳⌛ ➡️ 🧬🖥️ ➡️ 📈📊📝
postdoc @ UT Austin working remotely from the Pacific Northwest
(views my own)
robinrohwer.com