Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him- M @mhicks.bsky.social @mhicks.bsky.social
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
john hui @j-hui.bsky.social 
Game Changer @gamechanger.dropout.tv The game show where the rules change every show. Hosted by Sam Reich.
▶️ https://www.dropout.tv/shows/game-changer
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Vishal Lama @vishallama.bsky.social Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
Punya S A @bluesbirdsfly.bsky.social Studying humans, tech & everything in between🤝🏽
PhD IS @ UNC-CH📚Trust & Gen AI🤖Responsible Tech🌍🌱
Coconut chutney connoisseur🥥🌴
jaylin herskovitz @jayl.in ♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
ethan c. @echou1.bsky.social umdcs masters graduate in pl.
working on universal pbt at antithesis
guru @shabadi.bsky.social phd student at penn | intersecting and bridging theory and practice of formal system design and autonomous agents
https://guruprerana.github.io/
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@jhemann.bsky.social @jhemann.bsky.social 
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
@hannelita.bsky.social @hannelita.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
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/
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
Lemuel @lem.my ᚛ᚔ ᚁᚏᚓᚐᚉ ᚈᚆᚔᚅᚌᚄ᚜ • github.com/lemueldls
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Rob Simmons @simrob.com boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
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
Stephanie Weirich @fancytypes.bsky.social Tell me about types
John Green @johngreensbluesky.bsky.social Author (The Fault in Our Stars, The Anthropocene Reviewed, etc.)
YouTuber (vlogbrothers, Crash Course, etc.)
Football Fan (co-owner of AFC Wimbledon, longtime Liverpool fan)
Opposed to Tuberculosis
Katie Mack @astrokatie.com Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
@alaia-solko.bsky.social @alaia-solko.bsky.social 
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Complexly @complexly.org A nonprofit dedicated to helping you understand your world, supported by a community that believes good information is worth it.
Check us out at complexly.org or youtube.com/complexly
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Lingthusiasm @lingthusiasm.com A podcast that's enthusiastic about linguistics! By @gretchenmcculloch.com and @superlinguo.bsky.social
"Fascinating" -NYT
"Joyously nerdy" -Buzzfeed
lingthusiasm.com
Not sure where to start? Try our silly personality quiz: bit.ly/lingthusiasmquiz
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Dan Grossman @dangrossmanseattle.bsky.social 
Talia Ringer @taliaringer.bsky.social 
Gretchen McCulloch @gretchenmcculloch.com Internet linguist. Wrote Because Internet, NYT bestseller about internet language. Co-hosts @lingthusiasm.com, a podcast that's enthusiastic about linguistics.
she/her 🌈
Montreal en/fr 🇨🇦
gretchenmcculloch.com
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Ziteng Wang @zetten.bsky.social PhD student working on program synthesis. https://ziteng.wang/
Kush Jain @kjain14.bsky.social SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
Roman Mars @romanmars.bsky.social Creator of 99% Invisible, Trump Con Law, A History of the US in 100 Objects, Power Broker Breakdown- http://99pi.org
TEDTalk on flags w/ over 7M views
NYT Bestseller The 99% Invisible City: http://99pi.org/book
East Bay, CA
Alum: Oberlin, Simon's Rock, UGA
99% Invisible @99pi.org Long running, award winning narrative podcast about all the thought that goes into things most people don’t think about.
www.99pi.org
siriusxm.com/podcasts-plus-subscription
Andrew Middleton @mapcenter.com 'Peddler of Wheres,' job creator, Owner at The Map Center in Pawtucket RI- it's like a hip record store but for maps.
www.mapcenter.com
Cartographer, GIS specialist and educator
Linktr.ee/ecoandrewtrc
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Avishree Khare @avishree.bsky.social CS PhD student @ UPenn.
Previously @ Microsoft, Google, BITS Pilani.
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Andrew Head @andrewhead.bsky.social Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
Astrid Lundberg @oddpride.com Paleontology and evolution content creator (TikTok: @oddpride, 700k. Instagram: @astrid_lundberg, 295k. YouTube: astrid_lundberg, 19k).
The worst part of the science history fandom.
She/her (yes, really).
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Steve Canon @stephencanon.bsky.social Not-a-number sommelier, purveyor of fine zeros and infinities.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
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
Lef Ioannidis @elefthei.bsky.social PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Paul Biberstein @paulbib.bsky.social Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Ryan Marcus @handle.invalid Assistant professor at UPenn. Database systems. https://RyanMarc.us
I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
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.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
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/
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
@benjamincpierce.bsky.social @benjamincpierce.bsky.social 
Jocelyn Chen @jqchen.bsky.social 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Aaron Eline @aaroneline.bsky.social 
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
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
Ekaterina Fedorova @ek8terina.bsky.social CS PhD student @ UPenn, interested in econxCS & HCI, formerly: UC Berkeley, UChicago
https://ek8terina.github.io/opossum_girlie
Andrew K. Hirsch @akhirsch.bsky.social 
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.