Ethan Zhou @zehzhou.bsky.social TCS PhD student @UMich
Gülce @gkardesd.bsky.social PhD candidate at CU Boulder Theory, Graduate Fellow at the Santa Fe Institute- D Søren Debois @debois.bsky.social
Prateek P. Kulkarni @prateekkulkarni.bsky.social Predoc @ CSA, IISc. Research in theoretical cs & quantum computing. For more, please visit: https://prateekpkulkarni.github.io
@euiwoong.bsky.social @euiwoong.bsky.social 
Internet Shaquille @netshaq.bsky.social 
@karthikcs.bsky.social @karthikcs.bsky.social 
Bjørn Kjos-Hanssen @kjoshanssen.bsky.social Math professor 
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory 🤝 practice.
More info: https://neumannstefan.com.
Robin Kothari @robinkothari.bsky.social Theoretical computer scientist working on quantum algorithms and complexity at Google Quantum AI. Previously at Microsoft Quantum, MIT, U. Waterloo, and IIT Bombay.
Centre for Logic and Philosophy of Science (CLPS) @clpskuleuven.bsky.social The Centre for Logic and Philosophy of Science (CLPS) at the Institute of Philosophy, @kuleuvenuniversity.bsky.social focuses on #logic & #philsci, with a concentration on the philosophies of the special sciences https://hiw.kuleuven.be/clps #philsky #HPS
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
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Jess Sorrell @optimistsinc.bsky.social Assistant prof at JHU CS. Interested in theory of ML, privacy, cryptography. All cat pictures my own and do not represent the cats of my employer
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Jason Hartline @jasonhartline.bsky.social Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. My opinions. virtualchair.net, socialcal.org, pubchat.org, https://sites.northwestern.edu/hartline/
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
Lance Fortnow @lance.fortnow.com Complexity Theorist
Thatchaphol Saranurak @eigx.bsky.social Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
Federico Adolfi @fedeadolfi.bsky.social Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science
Max Planck Institute ESI.
Dept. of Computer Science & Mathematics,
Goethe University Frankfurt.
https://fedeadolfi.github.io
On the job market!
Suresh Venkatasubramanian @geomblog.bsky.social Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
Nadya Voronova @voronovank.bsky.social PhD student at TCS BU.
Interested in sublinear algorithms and quantum.
On the job market!
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Sahil Singla @sahilsingla81.bsky.social Faculty at Georgia Tech.
Vasilis Gkatzelis @gkatzelis.bsky.social Associate professor of Computer Science at Drexel University. Interested in mechanism design, game theory, algorithms, fair division.
https://www.cs.drexel.edu/~gkatz/
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
FOCS 2026 @focs2026.bsky.social Official account for the 2026 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in New York, USA, Nov 8–11, 2026.
🔗 https://focs.computer.org/
Yannai A. Gonczarowski @yannaigonch.bsky.social Faculty @ Harvard Econ + Harvard Computer Science, past: MSR HebrewU, classical (opera) singer, father of two (+a pug) | tweets my own, repost≠endorse
https://yannai.gonch.name/
Ellen Vitercik @ellen-v.bsky.social MS&E + CS assistant professor at Stanford. I study reliable AI for algorithmic reasoning, optimization, and decision-making.
https://vitercik.github.io/
Gavin Brown @gavin-brown.bsky.social Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.
Rachel Lawrence @rachel-law.bsky.social Organic machine turning tea into theorems ☕️
AI @ Microsoft Research ➡️ Goal: Teach models (and humans) to reason better
Let’s connect re: AI for social good, graphs & network dynamics, discrete math, logic 🧩, 🥾,🎨, protecting democracy🗽
www.rlaw.me
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
Shivam Nadimpalli @shivamnadimpalli.bsky.social CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
Moshe Babaioff @moshebab.bsky.social Assoc. Prof. of CS at the Hebrew University.
Algorithmic Game Theory.
Economics and Computation.
https://sites.google.com/view/babaioff/about-me
Stefano Tessaro @stefanotessaro.bsky.social Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social
Working on cryptography, theoretical computer science, and computer security.
https://homes.cs.washington.edu/~tessaro/
Florent Delgrange @florentdelgrange.bsky.social Reinforcement Learner
delgrange.me
TCS+ @tcsplus.bsky.social TCS+ is the original online seminar in theoretical computer science, committed to the carbon-free dissemination of ideas across the globe since 2013. Talks from the cutting edge of research in TCS, for a wide audience: https://www.tcsplus.org
Guillaume Dalle @gdalle.bsky.social Researcher in machine learning and optimization. Open source enthusiast. Parody songwriter (aka PianoHamster). OCD survivor.
Tomasz Steifer @steifer.pl mathematics, theoretical computer science, philosophy @ Universidad Católica de Chile & Polish Academy of Sciences | 'The evolution of sense is, in a sense, the evolution of nonsense.'
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Francisca Vasconcelos @franvasco.bsky.social CS PhD Student @ UC Berkeley
Interested in Quantum Algorithms & Complexity + Machine Learning
Qubit x Qubit Founding Academic Director
https://franciscavasconcelos.github.io/
Iris van Rooij 💭 @irisvanrooij.bsky.social Professor of Computational Cognitive Science | Dept. of Cognitive Science & Artificial Intelligence | @Iris@scholar.social on 🦣 | http://irisvanrooijcogsci.com | she/they 🏳️🌈
Ian Mertz @iwmertz.bsky.social Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
Jelani Nelson @jelaninelson.bsky.social Professor and Department Chair of Electrical Engineering and Computer Sciences, UC Berkeley. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹
Aviad Rubinstein @aviad-rubinstein.bsky.social Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
Adithya Bhaskara @adithyacolorado.bsky.social Ph. D. Student @ MIT EECS
Interested in theoretical computer science, computational social choice theory, mathematical democracy, politics, and the intersection between theory and practice.
https://officialadithya.github.io
abhaskara@mit.edu
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
Vishwa Prakash HV (ವಿಶ್ವ ಪ್ರಕಾಶ್) @vishwaprakash.com CS PhD student at Chennai Mathematical Institute. I work on Fair Division/Computational Social Choice.
vishwaprakash.com
Palak Jain @thepalakjain.bsky.social Privacy and Cryptography PhD student at Boston University. | they/them
website: thepalakjain.com
arXiv cs.CC Computational Complexity @cscc-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.CC/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
William Umboh @swumboh.bsky.social Lecturer in Computational Theory, School of Computing and Information Systems, University of Melbourne. Interests: Theoretical computer science and combinatorial optimisation, focussing on approximation and online algorithms. williamumboh.com- V @valyakuttan.bsky.social @valyakuttan.bsky.social
Aleksandros Sobczyk @asobczyk.bsky.social https://asobczyk.github.io/
Huawei Zurich Research Center.
All views are my own.
Hecate @ohmygoedel.bsky.social It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Pavel Veselý @pavelvesely.bsky.social Computer scientist at Charles University, Prague 🇨🇿 I like all kinds of efficient algorithms and data structures for large datasets || also ⛰️🇺🇦https://iuuk.mff.cuni.cz/~vesely/
Kevin Bogner @kevinbogner.bsky.social PhD student in quantum cryptography at COSIC, KU Leuven
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
@kfkfkddl.bsky.social @kfkfkddl.bsky.social 
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
Peter Schwabe @cryptojedi.bsky.social Researcher in cryptographic engineering at MPI-SP.
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
Matthias Köppe @mkoeppe.bsky.social Professor, UC Davis #Mathematics. He/him. #DavisCA.
Made #SageMath pip-installable @passagemath.org.
https://github.com/mkoeppe #Python #OpenSource
#cutgeneratingfunctionology #optimization #orms
I block accounts to increase reading focus.
arxiv cs.DS @arxiv-cs-ds.bsky.social Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/cs.DS
maintainer: @tmaehara.bsky.social
Arindam Khan @arindamkhan.bsky.social Algorithmist | CS Prof. @ IISc Bangalore | Past: Georgia Tech, IIT Kharagpur
Algo-rindam Youtube: https://www.youtube.com/@ArindamKhan
LinkedIn: https://www.linkedin.com/in/arindam-khan-445ab615/
Simon @sreilich.de Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://about.sreilich.de
Sébastien Darses @sebdarses.bsky.social Act. Int. Agent? (Math. Assoc. Prof., on leave)
Research: Prob / Stat / Ant
Teaching Project (non-profit): https://highcolle.com/
https://sites.google.com/view/sebastien-darses/research?authuser=0
Doctor Logic @saraluckelman.bsky.social #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of SFFReviews.com and @EllipsisImprint. Co-president of @ducu. Own views. Robot.
@jasminejerryaloor.bsky.social @jasminejerryaloor.bsky.social 
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Noah Stephens-Davidowitz @noahsd.bsky.social Nerd, computer scientist (http://noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.
Tobias Rothmann @tobiasrth.bsky.social Formal Methods, Cryptography, Complexity Enthusiast
Formal Verification Intern @ethereum.foundation
prev. Cryptography @ Arcium
CS @ TUM
https://tobias-rothmann.github.io
Giuseppe Persiano @giupers.bsky.social Theoretical Computer Scientist and Cryptographer at U. Salerno, Italy. Juventino.
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
Dr Michelle Wong - Lab Muffin Beauty Science @labmuffin.com #SciComm and educator, medicinal/supramolecular/synthetic chem PhD, cosmetic chemist, YouTuber
I explain the science behind beauty products and debunk misinformation. I talk a lot about sunscreen and "toxic" ingredients 🌞
labmuffin.com/links
@spottingthespot.bsky.social @spottingthespot.bsky.social 
Arkaprava Choudhury @arkashogisci.bsky.social MMath C&O/A&C @ UWaterloo | Interests: spectral graph theory via {random matrices, operator algebras}
Also: cycling, shogi | Prev: CS/Math @ UofT, doing q. sim. | web: www.cs.toronto.edu/~arka/
Hanlin Ren @h4n1in.bsky.social 
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
Jenny Kaufmann @jennykaufmann.bsky.social Harvard math PhD student
Ivan Lau @ivanphlau.bsky.social PhD @NUSComputing. Interested in theory and algorithms for sequential decision-making. https://ivanphlau.github.io
Dr. Courtney Gibbons (she/her/xlookup) @courtneygibbons.phd was @/virtualcourtney. math prof, pragmatic idealist, parent. Chief Problem Solver at MOTHERFUNCTOR.co
I write a (U.S.) politics newsletter focusing on issues that affect the math community, https://newsletter.motherfunctor.co
Jonah Stockwell @jonahstockwell.com Theoretical computer science, math, art.
In NYC @ Columbia University.
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
lucian @lucian1729.bsky.social systems, ml, aquariums, webfiction, futurology.
foxche @foxche.bsky.social 
@avianthunderclap.bsky.social @avianthunderclap.bsky.social 
Shruthi Prusty @shruthiprusty.bsky.social CS Theory PhD student at Johns Hopkins University. Algorithms, combinatorial optimization, probability. she/her
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Green Moray @greenmoray.bsky.social Computer science, cats are cool, algos too.