@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
@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)
@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/
@sophie.huiberts.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@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
@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.
@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
@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)
@henryyuen.bsky.social
Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net
@hatami.bsky.social
@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
@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.
@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.
@thesasho.bsky.social
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@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
@thejonullman.bsky.social
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
@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/
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@bouldertheory.bsky.social
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
@johannamath.bsky.social
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
@ericaklarreich.bsky.social
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
@ohmygoedel.bsky.social
Ale-Alejandro, Ale-Alejandro 🎶 📍 BSB/VIX Brazil ✍️ Logics, Maths, and Theoretical CS 🐈⬛ Cats ⚛️ Progressive, Nontheist
@arxiv-cs-cc.bsky.social
Computer Science -- Computational Complexity (cs.CC) source: https://export.arxiv.org/rss/cs.CC maintainer: @tmaehara.bsky.social
@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
@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.
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@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.]
@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/
@fedeadolfi.bsky.social
Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science https://fedeadolfi.github.io
@prahladh.bsky.social
Computer Scientist, Mathematician, Dancer, Uncle https://www.tcs.tifr.res.in/~prahladh/
@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
@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.
@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
@harrowing.bsky.social
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@mdinitz.bsky.social
Associate Professor, Department of Computer Science, Johns Hopkins University. https://www.cs.jhu.edu/~mdinitz/
@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.
@michal-feldman.bsky.social
Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
@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/
@andrea-montanari.bsky.social
Professor, Stanford University, Statistics and Mathematics. Opinions are my own.