Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Dan Grossman @dangrossmanseattle.bsky.social 
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
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/
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Talia Ringer @taliaringer.bsky.social 
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Joe Cutler @alphaconvert.bsky.social cutler.pl
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Poorva Garg @poorvagarg.bsky.social Working on Probabilistic Programming Languages
https://web.cs.ucla.edu/~poorvagarg/
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/