Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
Paul Goldberg @paulwgoldberg.bsky.social Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity.
Also interested in good urbanism & cartoons
https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
Alex Bredariol Grilo @abgrilo.bsky.social Researcher at LIP6 (CNRS/Sorbonne Université) working on quantum complexity theory and quantum cryptography. he/him 🏳️🌈🇧🇷
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Justin Solomon @justinmsolomon.bsky.social Associate prof, MIT EECS/CSAIL 💻🔬🦥🧀🏋️♀️🎼🐈🎻🏳️🌈 he/him/his
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
Sanjeev Arora @profsanjeevarora.bsky.social Director, Princeton Language and Intelligence. Professor of CS.
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Bruce Kapron @bmkapron.bsky.social Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
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. 🇻🇮🇺🇸🇪🇹
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
European Association for Theoretical Computer Science @eatcs.bsky.social The aim of the EATCS is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. #CSTheory
Gary Marcus @garymarcus.bsky.social AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley.
Newsletter (100k subscribers): garymarcus.substack.com
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
arxiv cs.CC @arxiv-cs-cc.bsky.social Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
Danupon @nanongkai.bsky.social 
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
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
Nicole Wein @nicolewein.bsky.social Assistant professor at University of Michigan. Theoretical computer science.
Hanlin Ren @h4n1in.bsky.social 
Shivam Nadimpalli @shivamnadimpalli.bsky.social CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
@tonipitassi.bsky.social @tonipitassi.bsky.social 
Ian Mertz @iwmertz.bsky.social Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
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
Pravesh K Kothari @praveshkkothari.bsky.social Assistant Professor @PrincetonCS
Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
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/
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL- H Pooya @hatami.bsky.social
Thatchaphol Saranurak @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/
Lance Fortnow @lance.fortnow.com Complexity Theorist
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms. 
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Arvind Narayanan @randomwalker.bsky.social Princeton computer science prof. I write about the societal impact of AI, tech ethics, & social media platforms. https://www.cs.princeton.edu/~arvindn/
BOOK: AI Snake Oil. https://www.aisnakeoil.com/
Ryan O'Donnell @booleananalysis.bsky.social 
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
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)
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.
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
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.
Joshua Grochow @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
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)
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @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.
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app