Radu Cernuta @raducernuta.bsky.social
Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
Borja Sotomayor @borjasotomayor.bsky.social Senior Instructional Professor of CS @UChicago, amateur sciuriologist. Views are my own.
He/him 🏳️🌈 🇪🇸 🇺🇸
Other places you can find me: https://linktr.ee/borjasotomayor
PostgreSQL Hero @postgresqlhero.bsky.social Want to learn about PostgreSQL? You are in the good place!
🔗 https://postgresqlhero.alexisbouchez.com
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
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
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Solal Pirelli @solalpirelli.bsky.social Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.
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
@ccadar.bsky.social @ccadar.bsky.social
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.
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) | 🇪🇺🇺🇦
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.
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/
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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
Manish Shetty @slimshetty.bsky.social PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
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
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
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
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Stratos Psomadakis @ps0mas.bsky.social writing segfaulting code
PhD@CSLab NTUA
https://discuss.systems/@psomas
https://x.com/ps0mas
https://psomas.xyz
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
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
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!
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Vishnu @vdasu.bsky.social PhD in Computer Science at Penn State. Interested in Trustworthy ML
https://vdasu.github.io/
Eric Rozner @erozner.bsky.social SWE at Google.
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
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
Arash Pourhabibi @arashpourhabibi.bsky.social A computer geek, a food lover, and a traveler-wannabe.
http://arash.pourhabibi.info
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Dev @sincerely.dev I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net