Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Shomir Wilson @shomir.bsky.social Associate Professor at Penn State. AI and sociotechnical NLP, especially for privacy and fairness. Also posting about academia, photography, and travel. Opinions mine. he/him. http://shomir.net
Raphael Achddou @rachddou.bsky.social 📕 Post-Doctoral researcher @EPFL
🔍 Computational Imaging, Inverse Problems, Computer Vision
🎓 PhD Telecom Paris | MSc ENS Paris-Saclay | B.S Télécom Paris
🎞️ Street-Photography enthusiast
https://rachddou.github.io/
@xenaproject.bsky.social @xenaproject.bsky.social 
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Michael Kinyon @profkinyon.bsky.social Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
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
Paul Brauner @polux2001.bsky.social 
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
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
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Marta Andronic @martaandronic.bsky.social PhD student @Imperial designing efficient NNs | EEE MEng '22 @Imperial
Haoyi Zeng @haoyizeng.bsky.social 
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet 🖖
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Qian Li @qianli.dev Co-founder @dbos.dev • Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on 🐘 Database + Systems + AI
Amateur bird watcher 🦉
Personal site: qianli.dev
She/her.
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
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/
Alexandra Silva @alexarsilva.bsky.social 
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/ .
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Dan Grossman @dangrossmanseattle.bsky.social 
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
Talia Ringer @taliaringer.bsky.social 
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
@andrewcmyers.bsky.social @andrewcmyers.bsky.social 
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
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
GCC - GNU Toolchain @gnutools.bsky.social GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Grant Sanderson @3blue1brown.com Math videos
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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.
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
Adam Marrs @acmarrs.bsky.social Graphics and video games. Principal Graphics Engineer at NVIDIA. Computer Science PhD. Thoughts here are my own.
Caroline Lemieux @cestlemieux.bsky.social 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.
Matt Might @matt.might.net A private citizen
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
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Fermat's Library @fermatslibrary.bsky.social A platform for illuminating academic papers. We annotate and share a paper every week.
Silvia Sellán @silviasellan.bsky.social Assistant Professor of Computer Graphics and Geometry Processing at Columbia University https://www.cs.columbia.edu/~silviasellan/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
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.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Matt Levine @matt-levine.bsky.social the money stuff guy
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Dr. Benjamin Chetioui @bchetioui.bsky.social @__SIben__ on Twitter.
Working on ML compilers for GPU @Google 🇨🇭
🇫🇷 PhD in PL from UiB 🇧🇻
(Ex?) Go player, CTFer w/ The Flat Network Society
Antoine Bosselut @abosselut.bsky.social Helping machines make sense of the world. Asst Prof @icepfl.bsky.social; Before: @stanfordnlp.bsky.social @uwnlp.bsky.social AI2 #NLProc #AI
Website: https://atcbosselut.github.io/
Marcel Salathé @marcelsalathe.bsky.social EPFL Professor, Co-Director EPFL AI Center, digital epidemiologist, CH++
@gannimo.bsky.social @gannimo.bsky.social 
@cpitclaudel.bsky.social @cpitclaudel.bsky.social 
Lenka Zdeborová @zdeborova.bsky.social Professor at EPFL. Une mathémaphysinformaticienne. Passionate mushroom hunter. Tamer of two little dragons.
Martin Schrimpf @mschrimpf.bsky.social NeuroAI Prof @EPFL 🇨🇭. ML + Neuro 🤖🧠. Brain-Score, MIRAGE, TopoLM. Previously: PhD @MIT, ML @Salesforce, Neuro @HarvardMed, & co-founder @Integreat. go.epfl.ch/NeuroAI
Martin Nicolas Everaert @everaertmartin.bsky.social PhD student in #EPFL 🎓
AI/image generation 🤖
#EPFL #CentraleSupélec #LyceeSaintLouis alumni
Reposts ≠ Endorsement
https://martin-ev.github.io/
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
EPFL School of Computer and Communication Sciences @icepfl.bsky.social EPFL School of Computer and Communication Sciences (IC) - Swiss Federal Institute of Technology Lausanne / Ecole polytechnique fédérale de Lausanne
Emacs Org Mode @orgmode.bsky.social