Paleontological Research Institution @prinstitution.bsky.social PRI has outstanding programs in research, collections, publications, and Earth science education as well as two public venues for education -- Museum of the Earth and Cayuga Nature Center.
https://linktr.ee/MuseumOfTheEarth
Tom Van Cutsem @tvcutsem.bsky.social Computer scientist | Professor at KU Leuven | views are my own
Correen @correeno.bsky.social Anthropomorphic baked potato.
Simultaneously full of wonder and seething with rage. I was doing this before it was cool.
Overheated, here let me warm you up.
Alex Warth @alexwarth.bsky.social Principal Investigator at @inkandswitch.com
Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google
Creator of OMeta, co-creator of @ohmjs.org
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Cynthia Bailey @cynthiablee.bsky.social Senior Lecturer @ Stanford Computer Science Dept. AI Policy Advisor @ U.S. Senate. Interested in all things tech. Also: YIMBY, bikes, chickens, sourdough. 🏳️🌈 (formerly Cynthia Lee)
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@rpiskac.bsky.social @rpiskac.bsky.social 
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
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
Dan Grossman @dangrossmanseattle.bsky.social 
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
@yanniss.bsky.social @yanniss.bsky.social 
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
AMR @rhododaktylos.bsky.social When I grow up, I want to be the Leslie Knope of ancient-language teaching.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Huyen Tue Dao @queencodemonkey.dev Android dev. Software engineer. Speaker. Podcaster.
randomlytyping.com
@technicaltea.show STEM women spilling tea
@androidfaithful.com Android enthusiasts
@dtnsshow.bsky.social Daily Tech News Show
Monkey code, monkey break, monkey debug, monkey iterate.
Cynthia Taylor @pinkhairedcyn.bsky.social Associate Professor of Computer Science at Oberlin College. 
Ducson Nguyen @ducsonnguyen.com Alderperson for the City of Ithaca’s 2nd Ward 🏗️ Software engineer. Husband. 😺 dad. Cyclist. Heavy thing lifter. Nintendo fan. Free 🇵🇸
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
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Stephen Checkoway @stevecheckoway.bsky.social Associate Professor of Computer Science at Oberlin College. No kings, no nazis, no war.
Talia Ringer @taliaringer.bsky.social 
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
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/- D Stefan Savage @docsavage.bsky.social
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
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
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
Andrew K. Hirsch @akhirsch.bsky.social - O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
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.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
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.