[bridged from https://theory.report/ on the web: https://fed.brid.gy/web/theory.report ]

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

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

Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/

Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein

CNRS researcher in linear programming

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.

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

Professor, Computer Science, New York University. Interested in Algorithms.

Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.

Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net

Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.

Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/

Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.

Complexity Theorist

professor of EECS at MIT, currently visiting IAS. 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)

Assistant Professor at the University of Michigan. I design fast graph algorithms in dynamic/distributed/local settings. https://sites.google.com/site/thsaranurak/

Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science https://fedeadolfi.github.io On the job market!

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.

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)

PhD student at TCS BU. Interested in sublinear algorithms and quantum. On the job market!

Professor, Stanford University, Statistics and Mathematics. Opinions are my own.

Postdoctoral Research Scientist @Columbia. Previously postdoc @BU_CDS @TelAvivUni and PhD @Princeton. https://www.divyarthimohan.com

Faculty at Georgia Tech.

Associate professor of Computer Science at Drexel University. Interested in mechanism design, game theory, algorithms, fair division. https://www.cs.drexel.edu/~gkatz/

CS professor at UW, research focus in theory of ML, fairness, and econCS

Assistant professor at UMich. I do theoretical computer science and graph theory.

Theoretical Computer Science @ EPFL

Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music. https://home.cs.colorado.edu/~hbennett/

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/

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/

Assistant Professor at Stanford Machine learning, algorithm design, econ-CS https://vitercik.github.io/

Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University

Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.

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

Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design

🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.

Professor of Computer Science at Cambridge.

Associate Professor, Department of Computer Science, Johns Hopkins University. https://www.cs.jhu.edu/~mdinitz/

CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)

Assoc. Prof. of CS at the Hebrew University. Algorithmic Game Theory. Economics and Computation. https://sites.google.com/view/babaioff/about-me

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/

postdoc @ ai lab, Vrije Universiteit Brussel working on providing reliable and verifiable ai mechanisms #RL & formal methods delgrange.me

phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics. gabey.zip

Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.

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

Researcher in machine learning and optimization. Open source enthusiast. Parody songwriter (aka PianoHamster). OCD survivor.

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.'

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app