Chara Podimata @charapod.bsky.social Assistant Professor of Operations Research and Statistics, MIT. Interested in social computing, human-in-the-loop of AI decision making, recommendation systems, and AI policy.
Sílvia Casacuberta @sicapu.bsky.social Computer Science PhD student & Knight-Hennessy scholar at @stanford.edu.
Prev.: @ox.ac.uk with @rhodeshouse.ox.ac.uk, @harvard.edu '23, @maxplanck.de, @ethz.ch, IBM Research.
Theory CS for Trustworthy AI
https://silviacasacuberta.com
Nikhil Garg @nkgarg.bsky.social I study algorithms/learning/data applied to democracy/markets/society. Asst. professor at Cornell Tech. https://gargnikhil.com/. Helping building personalized Bluesky research feed: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest
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.
Theory of Computing Report @theory.report [bridged from https://theory.report/ on the web: https://fed.brid.gy/web/theory.report ]
Tim Roughgarden @timroughgarden.bsky.social Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.
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
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
Hanlin Ren @h4n1in.bsky.social
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Henry Segerman @henryseg.bsky.social Mathematician and mathematical artist/maker. segerman.org, http://youtube.com/@henryseg, https://mathstodon.xyz/@henryseg
Divyarthi Mohan @divyarthi.bsky.social Postdoctoral Research Scientist @Columbia. Previously postdoc @BU_CDS @TelAvivUni and PhD @Princeton.
https://www.divyarthimohan.com
Lakshmi Chandrasekaran @lakshmic.bsky.social Freelance science writer covering tech, math, computer science- https://lakshmichandrasekaran.contently.com/. Words in SIAM news, MIT Tech Review, Science News, Kellogg Insight, Quanta & others.
Blog website: https://scieye.wordpress.com/
Sourav Sahoo @sourav22899.bsky.social PhD Student at MIT. Previously, EE undergrad at IIT Madras. Interested in online learning, auctions, and mechanism design.
sourav22899.github.io
João Ribeiro @jmlribeiro.bsky.social Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness.
Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial
https://sites.google.com/site/joaorib94/
Eshwar Ram Arunachaleswaran @epsilonrational.bsky.social Studies Algorithmic game theory and online learning
University of Pennsylvania/ Simons institute
https://www.seas.upenn.edu/~eshwar/
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
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.
Sikata Sengupta @sikatasengupta.bsky.social cs phd @upenn advised by Michael Kearns, Aaron Roth, and Duncan Watts| previously @stanford | she/her
https://psamathe50.github.io/sikatasengupta/
Ioannis Caragiannis @iannis.bsky.social Professor of Computer Science at Aarhus University. Researcher in algorithm design, foundations of AI/ML, algorithmic game theory, computational social choice.
Jannik Peters @jannikpeters.bsky.social Postdoc at the National University of Singapore, working on computational social choice and voting theory.
ACM SIGecom @acmsigecom.bsky.social ACM SIGecom encourages research and advanced applications at the interface between economics and computer science. See you at EC'26 #ACMEC26!
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)
Shengwu Li @shengwuli.bsky.social Econ prof at Harvard. (Mechanism design, market design, behavioral theory.) www.shengwu.li
Ben Golub @bengolub.bsky.social economics and computer science professor at Northwestern
bengolub.net
social and economic networks
originally from Ukraine
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
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.
Grant Sanderson @3blue1brown.com Math videos
@xenaproject.bsky.social @xenaproject.bsky.social
Michael Kearns @mkearnsphilly.bsky.social CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
Sebastien Bubeck @sbubeck.bsky.social I work on AI at OpenAI.
Former VP AI and Distinguished Scientist at Microsoft.
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
Shivam Nadimpalli @shivamnadimpalli.bsky.social CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Al Roth @alroth.bsky.social My market design blog: https://marketdesigner.blogspot.com/ Forthcoming in May: Moral Economics https://www.amazon.com/Moral-Economics-Prostitution-Controversial-Transactions/dp/1541702018
Ryan O'Donnell @booleananalysis.bsky.social
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
arxiv cs.GT @arxiv-cs-gt.bsky.social Computer Science -- Computer Science and Game Theory (cs.GT)
source: https://export.arxiv.org/rss/cs.GT
maintainer: @tmaehara.bsky.social
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, ex-physicist. More about me at benbrubaker.com. Banner art by Nico Roper — find more of their work at nicoroper.com. [Obligatory disclaimer about views being my own.]
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Rasmus Pagh @rasmuspagh.net Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
@mhenzinger.bsky.social @mhenzinger.bsky.social Professor Institute of Science and Technology Austria
@sushnt.bsky.social @sushnt.bsky.social
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. 🇻🇮🇺🇸🇪🇹
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/
Sahil Singla @sahilsingla81.bsky.social Faculty at Georgia Tech.
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/
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
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/
@pinkfloydie.bsky.social @pinkfloydie.bsky.social
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/
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms.
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch Theoretical Computer Science professor @ U. of Michigan-Ann Arbor.
Opinions are mine and may evolve over time.
repost ≠ endorsement.
Policy: I don't interact with anonymous profiles.
Join AAUP.
he/him/his.
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
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)
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
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.
Johan Ugander @jugander.bsky.social Associate Professor, Yale Statistics & Data Science. Social networks, social and behavioral data, causal inference, mountains. https://jugander.github.io/
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Jordan Ellenberg @jsellenberg.bsky.social Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
Ben Recht @beenwrekt.bsky.social Blog: https://argmin.substack.com/
Webpage: https://people.eecs.berkeley.edu/~brecht/
The Irrational Decision: How We Gave Computers the Power to Choose for Us. (Princeton) https://press.princeton.edu/books/hardcover/9780691272443/the-irrational-decision
Scott Kominers @skominers.bsky.social Market Design/Entrepreneurship Economist • Harvard
Research Partner • a16z crypto
Editor • Review of Economics and Statistics
Puzzle writer & NFT enthusiast, QED | http://scottkom.com/
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Randall Munroe @xkcd.com
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
Lance Fortnow @lance.fortnow.com Complexity Theorist
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
Vincent Conitzer @conitzer.bsky.social AI professor. Director, Foundations of Cooperative AI Lab at Carnegie Mellon. Head of Technical AI Engagement, Institute for Ethics in AI (Oxford). Author, "Moral AI - And How We Get There."
https://www.cs.cmu.edu/~conitzer/
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Paul Goldberg @paulwgoldberg.bsky.social Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity.
Also interested in good urbanism & cartoons
https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
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/
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/- K David Karger @karger.bsky.social Professor, MIT EECS/CSAIL
http://people.csail.mit.edu/karger
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
John Cherian @jjcherian.bsky.social PhD student at Stanford Statistics who dabbles in modeling elections for The Washington Post
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app