Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Electronic Frontiers Forums at Dragon Con @efforums.bsky.social We are a track covering the intersection of technology, law, activism, and society at the annual Dragon Con Science Fiction Convention in Atlanta, Georgia, USA, each Labor Day weekend.
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@hannelita.bsky.social @hannelita.bsky.social 
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Rishab Nithyanand @rishabn.bsky.social Internet measurement, tech policy, and privacy researcher. Asst. Prof. at UIowa. 
@mariah566.bsky.social @mariah566.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
@heyheiko.bsky.social @heyheiko.bsky.social 
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Gabriela Araujo Britto @gabritto.bsky.social 
๐จ๐ฆ 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.
Jessica Shi @jwshi.bsky.social PhD student at Penn.
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
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
Sallie-May @hcl.bsky.social https://github.com/Sallie-May
I respond to all pms !
main account https://bsky.app/profile/bee-lzebub.bsky.social
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
Ousman @ousmanbojang2.bsky.social Do good for others and it will come back to you in unexpected ways ๐
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/
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
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Sam Lindley @reifyreflect.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Arpan Gujarati @arpanbg.bsky.social Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
Joe Cutler @alphaconvert.bsky.social cutler.pl
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Half something @ani-meta.bsky.social I'm not a big writer, mostly catching up.
Tech/ML...
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Marco Peressotti @mperessotti.bsky.social Associate Professor of Computer Science at @sdu.dk.
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
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Alex Argunov @troglotit.bsky.social ๐ด๓ ฒ๓ ต๓ ณ๓ ก๓ ฟ
he/him
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Alessio Duรจ @alsd.eu University of Pisa CS graduate
Raye Keslensky @lastres0rt.bsky.social ๐Raye Keslensky
๐ฏJigsaw Forte
๐ฉ๐ฝโ๐ป Game Developer + User Experience (UX) Engineer
๐จ 2D Illustrator + Designer
โ๏ธ CA, GA, FL, Conventions, Burns
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
David Richter @drcicer.bsky.social โค๏ธ programming languages.
postdoc at @stg_darmstadt
DR are my initials and my title (now)
Harrison Grodin @harrisongrodin.bsky.social 
David Bindel @dbindel.bsky.social Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
Michael ๐
ฑ๏ธ James @michaelbjames.bsky.social AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
๐ณ๏ธโ๐๐บ- M @marmamorphism.bsky.social @marmamorphism.bsky.social
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN
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.
Isaac Sheff @isheff.bsky.social Senior Research Scientist, Heliax.dev- 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.
Eldritch Millennial @sundaycreature.bsky.social I'm Arras!
Cosplayer since 2006, jeweler since 2015
Owner of @endangeredartbooks.com
Real life zoologist!
Probably older than you think I am
They/them
Abolish ICE!!!
https://ko-fi.com/sundaycreature- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
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/
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.
Talia Ringer @taliaringer.bsky.social 
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn
asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐
I inherited https://types.pl
โผ https://ionathan.ch
๐ง PeopleDied2Vote @peopledied2vote.bsky.social I am a psychologist, gardener and optimist.
I love dogs, plants and creativity.
(Science, art, music, film, fashion)
Stay in the present.
Be grateful for something.
It's your responsibility to cast a vote in every election.
Laure Thompson @laurejt.bsky.social Research software engineer @princetoncdh.bsky.social.
natural language processing, machine learning, cultural analytics
https://laurejt.github.io/
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Liz Decolvenaere @tallakahath.bsky.social Computational chemist with a focus on QM, Force Fields, and how ML can aid in both. Also: Cosplayer, LARP writer, birder, occasional science communicator, and several other things. She/they.