Theoretical Computer Science
Theoretical Computer Science, broadly construed. Get in touch if you think you should be added. Likely has an unintentional slant towards "Theory A" (algorithms & complexity) just because of who created it.
Created by
@joshuagrochow.bsky.social
@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)
@anujdawar.bsky.social
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@iwmertz.bsky.social
Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
@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.
@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/
@jessiefin.bsky.social
Assistant Prof at Boston College. Somewhere between ML theory and EconCS www.jessiefin.com
@h4n1in.bsky.social
@charlieintheory.com
Transgender theoretical computer scientist (PhD) working on randomness, graph theory, approximation algorithms, and optimization. Anxious but curious. Nerdy in theory and in practice.
@dabacon.tachyon.institute
Theoretical ski bum. Former pseudo professor. Quantum bridge builder. Will math for food. mastodon: @dabacon@ftl.chat https://dabacon.org
@helger.bsky.social
Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
@jukkasuomela.fi
Associate Professor โ Department of Computer Science, Aalto University โ theory of distributed & parallel computing โ https://jukkasuomela.fi
@drmlharris.bsky.social
Science journalist at Physics World magazine (@physicsworld.bsky.social). Also available as @DrMLHarris@mastodon.social. All views on science, politics, history, nonsense, etc. my own. DM for Signal contact info.
@gabey.zip
phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics. gabey.zip
@booleananalysis.bsky.social
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | ๐ท๐ธ๐ฆ๐ช๐บ๐ธ tijanaminic1.github.io
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@anamay-tengse.bsky.social
Interested in maths, music, poetry and cricket. Very interested, and therefore working, in theoretical CS.
@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
@jamiemmt.bsky.social
CS professor at UW, research focus in theory of ML, fairness, and econCS
@andrea-montanari.bsky.social
Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
@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/
@michal-feldman.bsky.social
Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
@focs2025.bsky.social
Official account for the 2025 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in Sydney, Australia, Dec 14-17, 2025.
@mdinitz.bsky.social
Associate Professor, Department of Computer Science, Johns Hopkins University. https://www.cs.jhu.edu/~mdinitz/
@voronovank.bsky.social
PhD student at TCS BU. Interested in sublinear algorithms and quantum. On the job market!
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@harrowing.bsky.social
@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 ๐งฉ, ๐ฅพ,๐จ Organizing for democracy.๐ฝ www.rlaw.me
@joereddington.com
he/him. Dad. Into: vegan food, collaborative writing, disability, memory palaces, and my code someday working. Runs a charity. Cyber security lecturer at Royal Holloway. Glass sibling.
@gary-munnelly.bsky.social
Academic with the Adapt Centre in Trinity College Dublin. Currently applying what I know towards tackling disinformation and hate speech online. Also the guy behind Fourteen Screws. ๐ linkedin.com/in/gary-munnelly-111bb919 ๐ fourteenscrews.com
@prahladh.bsky.social
Computer Scientist, Mathematician, Dancer, Uncle https://www.tcs.tifr.res.in/~prahladh/
@fedeadolfi.bsky.social
Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science https://fedeadolfi.github.io
@mathskymathsky.bsky.social
At some point, maybe you'd follow this feed to be able to post to MathSky with an emoji. Art from James OโBrien for Quanta Magazine https://www.quantamagazine.org/how-is-math-beautiful-20200616/
@benbenbrubaker.bsky.social
Staff writer @quantamagazine.bsky.social covering computer science. Formerly freelance physics writer (Quanta, SciAm, Physics Today, elsewhere), ex-physicist. [Obligatory disclaimer about views being my own.]
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@eprint.ing.bot
Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz. Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
@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
@arxiv-cs-cc.bsky.social
Computer Science -- Computational Complexity (cs.CC) source: https://export.arxiv.org/rss/cs.CC maintainer: @tmaehara.bsky.social
@ohmygoedel.bsky.social
She laughs as reason and delusion proceed to tear your soul apart ๐ถ ๐ BSB/VIX Brazil โ๏ธ Logics, Maths, and Theoretical CS ๐โโฌ Cats โ๏ธ Progressive, Nontheist
@ericaklarreich.bsky.social
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
@johannamath.bsky.social
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
@graemesmith.bsky.social
Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
@bouldertheory.bsky.social
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@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/
@thejonullman.bsky.social
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
@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
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi๐ณ๐ฟ in California๐บ๐ธ http://stein.ke/
@thesasho.bsky.social
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
@ccanonne.bsky.social
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts โ into puns: sometimes theorems. He/him.
@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.
@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 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@hatami.bsky.social
@henryyuen.bsky.social
Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net
@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)
@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
@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.
@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
@sophie.huiberts.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@jasonhartline.bsky.social
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/
@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)
@joshuagrochow.bsky.social
Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) https://home.cs.colorado.edu/~jgrochow