@euiwoong.bsky.social @euiwoong.bsky.social 
Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social News and updates from the Munich Center for Mathematical Philosophy at LMU Munich. Disclaimer: reposts and likes are not endorsements.
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)
Surbhi Goel @surbhigoel.bsky.social Assistant Prof at Penn CIS | Postdoc at Microsoft Research | PhD from UT Austin CS | Co-founder LeT-All
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
Adam Smith @adamsmith.xyz Professor of computer science at Boston University. Not related to any economists, living or dead, as far as I know.
@sorrachai.bsky.social @sorrachai.bsky.social 
Nisheeth Vishnoi @nisheethvishnoi.bsky.social A. Bartlett Giamatti Prof. of CS @ Yale | Algorithms, AI & society
Newsletter: The Intelligence Loop https://nisheethvishnoi.substack.com
Views my own
Ainesh Bakshi @aineshbakshi.bsky.social Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Shreyas Srinivas @lean-samaritan.bsky.social Research : Formal Math ∩ Algorithms ∩ Lean ∩ Hardware
Gregory Barber @gregbarber.bsky.social journalist in the PNW / find me in NYT, Quanta, MIT Tech Review etc. / teach at UC Berkeley / ex-Wired science / gregory_barber@proton.me
@nyucourant.bsky.social @nyucourant.bsky.social 
@karthikcs.bsky.social @karthikcs.bsky.social 
Natalie Parham @nat-parham.bsky.social phd student in cs theory, quantum computing at Columbia
natalieparham.com
D. Sivakumar @dsivakumar.bsky.social conversational shopping search at Tonita.co, one-time CS theorist...
promise to post no more than one thread a day - on Tonita, CS / AI, politics, education, exercise, food, beer, whatever I feel like - and no more than 3 per week on any one topic :)
John Preskill @preskill.bsky.social Caltech theoretical physicist
Martín Costa @martincosta.bsky.social Theoretical Computer Science
Sasha Knop @sashaknop.bsky.social 
Chris Peikert @chrispeikert.bsky.social Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
@let-all.com @let-all.com 
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
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.
@vcohenad.bsky.social @vcohenad.bsky.social 
Bruce Kapron @bmkapron.bsky.social Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
Richard Sutton @richard-sutton.bsky.social 
@nimaanari.com @nimaanari.com 
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
Simons Foundation @simonsfoundation.org Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
Quanta Books @quantabooks.org Exploring the frontiers of science and math. Illuminating humanity’s quest to understand the universe. Capturing the wonder of discovery. For readers who want to know more.
Visit our website for more: www.quantabooks.org
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)
Gary Hoppenworth @garytho.bsky.social https://web.eecs.umich.edu/~garytho/
algorithms.fi @algorithms.fi HALT · Helsinki Algorithms & Theory · https://algorithms.fi
Cameron Musco @cnmusco.bsky.social CS Professor at UMass Amherst. Theoretical computer science, numerical linear algebra, machine learning.
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Thomas Ahle @thomasahle.bsky.social Head of AI @ NormalComputing. Tweets on Math, AI, Chess, Probability, ML, Algorithms and Randomness. Author of tensorcookbook.com
@amitc1.bsky.social @amitc1.bsky.social 
Grant Sanderson @3blue1brown.com Math videos
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/
Nicole Wein @nicolewein.bsky.social Assistant professor at University of Michigan. Theoretical computer science.
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Online Parallels (mastodon @onlineparallels) @onlineparallels.bsky.social 
Samson Zhou @szhoucs.bsky.social CS Assistant Professor at Texas A&M University. Sublinear algorithms, machine learning, TCS. Typical academic seeking knowledge, purpose, and free food. He/him.
https://samsonzhou.github.io
Hanlin Ren @h4n1in.bsky.social 
Ali Vakilian @avakilian.bsky.social Research Assistant Professor at TTIC; PhD at MIT EECS; MS
at UIUC.
Working on Algorithms and Machine Learning.
http://www.mit.edu/~vakilian/
Soheil Behnezhad @behnezhad.bsky.social 
Ilya Razenshteyn @ilyaraz.bsky.social Free soul
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
FSTTCS 2026 @fsttcs.bsky.social The 46th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at IIT Delhi.
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
Tuukka Korhonen @laakeri.bsky.social Theoretical computer science postdoc at the University of Copenhagen. https://tuukkakorhonen.com/
Maris Ozols @marisozols.bsky.social Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.- Z Zach Langley @zlangley.bsky.social zk @ Axiom
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/
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.
Ryan O'Donnell @booleananalysis.bsky.social 
Juspreet Singh Sandhu @freegaussians.bsky.social Assistant professor in CS @ Colorado State.
Research: Mathematical physics \cap probability \cap analysis \cap algorithms.
Hobbies: cycling, badminton, photography, classical music.
Food: Korean & home-made Indian.
Website: https://juspreetsandhu.me
Lichen Zhang @lichenzlichenz.bsky.social PhD candidate at MIT Math
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Jeff Erickson @jefferickson.bsky.social Human, smartass, father and son of artists, computer science professor.
If you like baseball, you’re probably looking for @jeff-erickson.bsky.social, not me.
https://jeffe.cs.illinois.edu
@aminkarbasi.bsky.social @aminkarbasi.bsky.social Chief scientist at Robust Intelligence and professor at Yale (on leave)
Kunal Talwar @ktalwar.bsky.social Differential Privacy. Machine Learning. Apple.
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Sebastien Bubeck @sbubeck.bsky.social I work on AI at OpenAI.
Former VP AI and Distinguished Scientist at Microsoft.
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. 🇻🇮🇺🇸🇪🇹
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
Hung Le @hunglv.bsky.social Umass Amherst
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
Stefan Szeider @szeider.bsky.social Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Nutan Limaye @nutanlimaye.bsky.social 
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/
@cejin.bsky.social @cejin.bsky.social 
Sergei Vassilvitskii @vsergei.bsky.social Algorithms, predictions, privacy.
https://theory.stanford.edu/~sergei/
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Vince Vatter @vatter.bsky.social Mathematician at the University of Florida. Here for the hot takes. Also @VinceVatter@mathstodon.xyz https://vincevatter.com
Prahladh Harsha @prahladh.bsky.social Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~prahladh/
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are 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.
Artem Chernikov @archernikov.bsky.social Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc.
chernikov.me
Johan Ugander @jugander.bsky.social Associate Professor, Yale Statistics & Data Science. Social networks, social and behavioral data, causal inference, mountains. https://jugander.github.io/
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
@pinkfloydie.bsky.social @pinkfloydie.bsky.social 
Sahil Singla @sahilsingla81.bsky.social Faculty at Georgia Tech.
Neeldhara Misra @neeldhara.bsky.social → http://www.neeldhara.com
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/- P Pratyush Mishra @pratyush.zip Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Website: pratyush.zip
Photoblog: photos.pratyush.zip
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/- H Pooya @hatami.bsky.social
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)
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
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/
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Sariel Har-Peled @sarielhp.bsky.social A geometer in the corn fields.
https://sarielhp.org
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
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.]
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.