Theory of Computing Report @theory.report [bridged from https://theory.report/ on the web: https://fed.brid.gy/web/theory.report ]
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
Gautam Kamath @gautamkamath.com Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2026. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.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
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @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.
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
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms. 
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.
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
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
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)
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)- H Pooya @hatami.bsky.social
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.
Divyarthi Mohan @divyarthi.bsky.social Postdoctoral Research Scientist @Columbia. Previously postdoc @BU_CDS @TelAvivUni and PhD @Princeton.
https://www.divyarthimohan.com
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
@pinkfloydie.bsky.social @pinkfloydie.bsky.social 
Huck Bennett @huckbennett.bsky.social Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~hbennett/
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 Assistant Professor at Stanford
Machine learning, algorithm design, econ-CS
https://vitercik.github.io/
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
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
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
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
Ryan O'Donnell @booleananalysis.bsky.social 
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 postdoc @ ai lab, Vrije Universiteit Brussel
working on providing reliable and verifiable ai mechanisms
#RL & formal methods
delgrange.me
gabe schoenbach @gabey.zip phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics.
gabey.zip
Pravesh K Kothari @praveshkkothari.bsky.social Assistant Professor @PrincetonCS
Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
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.'
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app