Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
Rob Ricci @ricci.io Research Professor in the Kahlert School of Computing at the University of Utah. I don't speak for them.
Here, I mostly post about decentralization and social networks. I'm more active on other topics in the fediverse at https://discuss.systems/@ricci/ .
Cristina Abad @cristinaabad.bsky.social Teacher, Researcher, Distributed Systems, Cloud Computing, Big Data, Professor @ ESPOL, CS @ Illinois alumni, Fulbrighter
Tanner Rowlett @trowlett0.bsky.social CS @ UoU - RA for https://futures.cs.utah.edu
Sébastien Deleuze @seb.deleuze.fr Spring AI/Framework @ Broadcom, #WebAssembly since 2016, ex @mixitconf.org staff. https://seb.deleuze.fr
Disseminate: The Computer Science Research Podcast @disseminatepodcast.bsky.social Interviews with Computer Science researchers about their latest work. Hosted by Dr Jack Waudby. Listen on Spotify, Apple, and YouTube.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
South Bay Systems @southbaysystems.xyz https://southbaysystems.xyz
https://youtube.com/@southbaysystems
Ao Li @aoli.al PhD Student@CMU
If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/fray). 
Natalie Vais @nvais.bsky.social gp at spark capital ✨ databases, infra, dev tools- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@akondrahman.bsky.social @akondrahman.bsky.social 
Bruno Pedro @brunopedro.com Building an API Product: Design, implement, release, and maintain API products that meet user needs: https://a.co/d/dE6pQpK
Opinions expressed are solely my own and do not express the views or opinions of my employer.
Computing Research Association (CRA) @cra-hq.bsky.social 
Farbod @fshahinfar1.bsky.social PhD student, interested in computer systems
https://fshahinfar1.github.io
Przemysław Pawełczak @przemyslawp.bsky.social Associate Professor at TU Delft | Embedded Systems Group (http://es.ewi.tudelft.nl) | Sustainable Systems Lab (http://github.com/tudssl) | 🇪🇺🇺🇦
Physical Sciences Division, University of Chicago @uchicagopsd.bsky.social 
Feldera @feldera.bsky.social Built on DBSP theory (Best Paper, VLDB ‘23), Feldera recomputes precisely what changes, even in 40K-line SQL pipelines with thousands of joins, window functions, and recursion, with the exact same correctness guarantees as your warehouse.
@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
Stefan Nagy @snagycs.bsky.social Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Gabriel Sherman @gabriel-sherman.bsky.social Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Matt Boyle @mattboyle.bsky.social Head of Product Engineering @ ona.com
@peteratmsr.bsky.social @peteratmsr.bsky.social 
@uofwa.uw.edu @uofwa.uw.edu 
Carl T. Bergstrom @carlbergstrom.com Professor, UW Biology / Santa Fe Institute
I study how information flows in biology, science, and society.
Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b
LLM course: https://thebullshitmachines.com
Corvids: https://tinyurl.com/mr2n5ymk
he/him
Mark Riedl @markriedl.bsky.social AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
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
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
Dan Grossman @dangrossmanseattle.bsky.social 
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
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
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
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.
@ccadar.bsky.social @ccadar.bsky.social 
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Yihe Deng @yihe-deng.bsky.social CS PhD candidate @UCLA | Prev. Research Intern @MSFTResearch, Applied Scientist Intern @AWS | LLM post-training, multi-modal learning
https://yihedeng9.github.io
Jiawei Liu @jiaweiliu.bsky.social 🏠: https://jw-liu.xyz/
PhD candidate at UIUC.
Programming Systems & Machine Learning.
Yuxuan Jiang @yuxuan-jiang.bsky.social CSE Ph.D. student in systems @umich | Life & Computer Systems Enthusiast
https://essoz.github.io
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
Lalith Suresh @lalithsuresh.bsky.social CEO @ feldera.com, the incremental compute engine for AI, ML and data teams.
Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd.
lalith.in/research
Dominik Tornow @dominiktornow.bsky.social Founder Resonate HQ | Distributed Async Await | Thinking in Distributed Systems | https://dtornow.substack.com
Microsoft Research @msftresearch.bsky.social We advance science and technology to benefit humanity.
http://microsoft.com/research
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Manish Shetty @slimshetty.bsky.social PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
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
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.
@aloni-bologna.bsky.social @aloni-bologna.bsky.social 
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
Kira Goldner @kiragoldner.bsky.social Assistant Professor at BU CDS
EconCS | Theory of CS | MD+AI+DS4SG | MD4SG co-founder
Previously Columbia, UW, Oberlin. Views are mine alone.
www.kiragoldner.com
John Bird @johnbird001.bsky.social Ph.D. atmospheric scientist🌎, nuclear engineer☢, 📰 #antarctica
South Pole Station 🐧 http://amzn.to/2klpv3b 🐧
Shaanan Cohney @shaananc.bsky.social Computer Security, Privacy, and Public Policy. Deputy Head of Computing and Information Systems, University of Melbourne. Former Fellow for Sen. Ron Wyden.
Likes teaching. Likes research. Likes Singing.
https://cohney.info
Madelon Hulsebos @madelonhulsebos.bsky.social AI researcher at CWI & ELLIS Amsterdam https://trl-lab.github.io. Research on tabular AI to democratize insights from structured data. Prev at UC Berkeley and the University of Amsterdam.
https://www.madelonhulsebos.com
Caterina Urban @caterinaurban.bsky.social 
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Amy Zhang @axz.bsky.social Associate professor of social computing at UW CSE, leading @socialfutureslab.bsky.social
social.cs.washington.edu
Arash Pourhabibi @arashpourhabibi.bsky.social A computer geek, a food lover, and a traveler-wannabe.
http://arash.pourhabibi.info
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Stratos Psomadakis @ps0mas.bsky.social writing segfaulting code
PhD@CSLab NTUA
https://discuss.systems/@psomas
https://x.com/ps0mas
https://psomas.xyz
George Porter @georgemporter.bsky.social AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
Aditya Parameswaran @adityagp.bsky.social Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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/
Talia Ringer @taliaringer.bsky.social 
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Joe Cutler @alphaconvert.bsky.social cutler.pl
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/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Maurice Herlihy @mauriceh.bsky.social Prof at Brown CS. 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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/
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.
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
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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.
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/
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Vish @vishwanath.bsky.social I am a distributed systems PhD student, with interest in AI, Football ⚽️, F1, Cooking, Climbing and Politics! I love writing about my interests, but mostly shitpost(s).
Website: vish.systems
All right opinions are mine, wrong ones are ChatGPTs!
Shriram Balaji @shrirambalaji.com building distributed systems at @microsoft.com • tinkering with systems languages, databases and things on the web • musings at http://blog.shrirambalaji.com
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