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)
Assistant Prof at Penn CIS | Postdoc at Microsoft Research | PhD from UT Austin CS | Co-founder LeT-All
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
Professor of computer science at Boston University. Not related to any economists, living or dead, as far as I know.
A. Bartlett Giamatti Prof. of CS @ Yale | Algorithms, AI & society
Newsletter: The Intelligence Loop https://nisheethvishnoi.substack.com
Views my own
Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Research : Formal Math ∩ Algorithms ∩ Lean ∩ Hardware
journalist in sf / ex-Wired climate / find me in NYT, Quanta, MIT Tech Review etc. / teach at UC Berkeley / gregory_barber@proton.me
phd student in cs theory, quantum computing at Columbia
natalieparham.com
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 :)
Caltech theoretical physicist
Theoretical Computer Science | University of Warwick | Google PhD Fellowship in Algorithms and Theory
Cryptographer (lattices/post-quantum), Professor at U-Michigan Computer Science and Engineering , Head of Cryptography Research at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
CS PhD student at UPenn studying strategic human-AI interaction. On the job market! Nataliecollina.com
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
Blog: https://argmin.substack.com/
Webpage: https://people.eecs.berkeley.edu/~brecht/
Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
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
Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
https://web.eecs.umich.edu/~garytho/
HALT · Helsinki Algorithms & Theory · https://algorithms.fi
CS Professor at UMass Amherst. Theoretical computer science, numerical linear algebra, machine learning.
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
Head of AI @ NormalComputing. Tweets on Math, AI, Chess, Probability, ML, Algorithms and Randomness. Author of tensorcookbook.com
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/
Assistant professor at University of Michigan. Theoretical computer science.
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
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
Research Assistant Professor at TTIC; PhD at MIT EECS; MS
at UIUC.
Working on Algorithms and Machine Learning.
http://www.mit.edu/~vakilian/
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
The 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at BITS Pilani, Goa.
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
Theoretical computer science postdoc at the University of Copenhagen. https://tuukkakorhonen.com/
Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
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/
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.
Assistant professor in CS @ Colorado State.
Research: Mathematical physics \cap probability \cap algorithms.
Hobbies: cycling, badminton, photography, classical music.
Food: Korean & home-made Indian food.
Website: https://juspreetsandhu.me
PhD candidate at MIT Math
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
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
Chief scientist at Robust Intelligence and professor at Yale (on leave)
Differential Privacy. Machine Learning. Apple.
Theoretical Computer Scientist at Columbia. joshalman.com
Assistant Professor @PrincetonCS
Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
I work on AI at OpenAI.
Former VP AI and Distinguished Scientist at Microsoft.
Professor and Department Chair of Electrical Engineering and Computer Sciences, UC Berkeley. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹
Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Theoretical Computer Science @ EPFL
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)
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/
Algorithms, predictions, privacy.
https://theory.stanford.edu/~sergei/
Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
Assistant professor at UMich. I do theoretical computer science and graph theory.
Mathematician at the University of Florida. Here for the hot takes. Also @VinceVatter@mathstodon.xyz https://vincevatter.com
Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~prahladh/
Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc.
chernikov.me
Associate Professor, Yale Statistics & Data Science. Social networks, social and behavioral data, causal inference, mountains. https://jugander.github.io/
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Professor of Computer Science at Cambridge.
→ http://www.neeldhara.com
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~hbennett/
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)
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/
Computer science, math, machine learning, (differential) privacy
Researcher at Google DeepMind
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
A geometer in the corn fields.
https://sarielhp.org
Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Computer science staff writer @quantamagazine.bsky.social, 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.]
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
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
Professor, Computer Science, New York University. Interested in Algorithms.
