PhD student at Penn studying type systems | sainati.pl
I research programming languages and turn Category Theory into code
A legacy of discovery. A future of innovation.
mostly not here, but there: https://hci.social/@chrisamaphone
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Always fighting for the people.
Wife, Momala, Auntie. She/her.
107 Days, my behind-the-scenes account of the shortest campaign in history, is available now at https://kamalaharris.link/107Days.
For Future Reference.
Sign up for our newsletters: https://wrd.cm/newsletters
Find our WIRED journalists here: https://bsky.app/starter-pack/couts.bsky.social/3l6vez3xaus27
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
extremely dubious of "everything is public" social network
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Not-a-number sommelier, purveyor of fine zeros and infinities.
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Professor of HCII and LTI at Carnegie Mellon School of Computer Science.
jeffreybigham.com
Dissident computer scientist
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Full Time: Prof @ University of Washington
Intrusion, Inclusion, and Dilution FTW
Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
I like trains, transit, languages, linguistics, religion, foreign policy, and international politics. Both UT & DC area are home. (she/they)
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
PL/Systems PhD student at Cornell
ngernest.github.io
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Award winning science fiction author. Cat furniture. Horse patsy. Almost certainly two ornimegalonyxes in a trenchcoat.
https://buttondown.email/matociquala
THE FOLDED SKY https://books2read.com/u/mBB0QZ
ANGEL MAKER https://books2read.com/u/3kzy2W
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/
https://racket-lang.org/
Associate Professor of Computer Science at Oberlin College.
Author of the award-winning Ancillary Justice. Lives in St Louis.
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
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.
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
umdcs masters graduate in pl. i like to make videos and take photos.
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
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Principal Scientist at Stealth Software.
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
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
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
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.
Pidgin algebraist, baseball influencer https://slim.computer
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/
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Assistant Prof. at UC San Diego. Helping people write better software.
The ACM Special Interest Group on Programming Languages.
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
CS PhD student at Penn. AI audits, computational social science, and the information ecosystem. Formerly Stanford CS, Symbolic Systems. she/her
https://steph-w.github.io
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
CS professor at UT Austin, does research in programming languages & formal methods.
AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
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.
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
Professional computer scientist, unprofessional mathematician
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
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
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
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.
PL enjoyer. CS PhD @ UToronto
https://bodzioney.org
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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
https://andrewblinn.com
abstractJuiceFactory
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
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
(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
speculative fiction (Teixcalaan series, ROSE/HOUSE), climate & energy policy (New Mexico, all statements my own), Byzantinist (nonpracticing but never not true).
unfortunately, I care about power lines now
she/her. halfway between Santa Fe and NYC.
SF/F Writer - The Books of the Raksura, The Murderbot Diaries, Witch King, Queen Demon, and more. Nebula and Hugo Award winner. NYT and Sunday Times Bestseller. (She/her) Agent: Jennifer Jackson
The official "Resistance" team of U.S. National Park Service. Our website: www.ourparks.org
