Lukas Edman @lukasnlp.bsky.social Post-Doc at TU Munich, doing cool work and that's all you need to know
The Marque @themarquepac.bsky.social Hunting the deception, following the money, exposing the corruption, holding our leaders accountable, and bringing the receipts.
@defenseexpress.bsky.social @defenseexpress.bsky.social 
Matthew Cobb @matthewcobb.bsky.social Professor Emeritus (University of Manchester), writes on biology, history of science & French Resistance. Most recent book: a biography of Francis Crick. Now writing THE IDEA OF HEREDITY.
Link to publications: https://orcid.org/0000-0002-8258-4913
Leo @leeeyre.bsky.social Ex X / Twitter refugee. Researcher at University of York - cognitive science and societal transformation
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Ben Rhodes @rhodesben.bsky.social Pod Save the World. NYT opinion. MSNBC. Author: After the Fall and The World As It Is
Dennettian @dennettiancreature.bsky.social Darwinian->Skinnerian->Popperian->Gregorian->Dennettian
Kate from Kharkiv @kateinkharkiv.bsky.social Living in Kharkiv, Ukraine. Contributing to Ukrainian voices online | support me : PayPal: kate.boguslavskaya@gmail.com | http://buymeacoffee.com/kateinkharkiv
Sam Stein @samsteindc.bsky.social Bulwark/MSNBC/stein at thebulwark dot com
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
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)
Lance Fortnow @lance.fortnow.com Complexity Theorist
Jason Hartline @jasonhartline.bsky.social Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. My opinions. virtualchair.net, socialcal.org, pubchat.org, https://sites.northwestern.edu/hartline/
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
Kira Goldner @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.
Jess Sorrell @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
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)
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net- H Pooya @hatami.bsky.social
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Suresh Venkatasubramanian @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.
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.
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Aaron Roth @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
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
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/
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Hecate @ohmygoedel.bsky.social It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Neeldhara Misra @neeldhara.bsky.social → http://www.neeldhara.com
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
Bjørn Kjos-Hanssen @kjoshanssen.bsky.social Math professor 
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, 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.]
MathSky MathSky @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/
Prahladh Harsha @prahladh.bsky.social Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~prahladh/
Gary Munnelly @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
Joe Reddington @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 Lawrence @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 🧩, 🥾,🎨, protecting democracy🗽
www.rlaw.me
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.- H Aram Harrow @harrowing.bsky.social
@amitc1.bsky.social @amitc1.bsky.social 
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@pinkfloydie.bsky.social @pinkfloydie.bsky.social 
Nadya Voronova @voronovank.bsky.social PhD student at TCS BU.
Interested in sublinear algorithms and quantum.
On the job market!
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
FOCS 2026 @focs2026.bsky.social 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/
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
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/
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
Jeff Erickson @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
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Anamay Tengse @anamay-tengse.bsky.social Interested in maths, music, poetry and cricket.
Very interested, and therefore working, in theoretical CS.
roseline j a @rxlnj.bsky.social theoretical cs kid
currently @ matscience, chennai
https://rxlnj.github.io/
Ryan O'Donnell @booleananalysis.bsky.social 
gabe schoenbach @gabey.zip phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics.
gabey.zip
Margaret Harris @drmlharris.bsky.social Award-winning 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.
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
Evelyn Lamb @evelynjlamb.bsky.social Math and science writer. Complex analysis fangirl.
Helger Lipmaa @helger.bsky.social Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs. 
Dave Bacon @dabacon.tachyon.institute Theoretical ski bum. Former pseudo professor. Quantum bridge builder. Will math for food.
mastodon: @dabacon@tachyon.channel
https://dabacon.org
Charlie Anne @handle.invalid She/Her | Theoretical Computer Scientist (PhD) | Professor | Alutiiq | Woman | Trans (🏳️⚧️)
Opinions are my own.
Hanlin Ren @h4n1in.bsky.social 
Jessie Finocchiaro @jessiefin.bsky.social Assistant Prof at Boston College. Somewhere between ML theory and EconCS
www.jessiefin.com
João Ribeiro @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/
Noah Stephens-Davidowitz @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.
Yupan Liu @yupan-liu.bsky.social |complexity⟩+|quantum⟩.
https://yupanliu.info
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
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.
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.
Aviad Rubinstein @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)
Jeffrey Shallit 🇺🇦 @shallit.bsky.social Grumpy old American mathematician and computer scientist, now retired. My Erdös number equals 1. 
Ainesh Bakshi @aineshbakshi.bsky.social Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Emily Fox @abstractcow.bsky.social Teaching CS theory and algorithms at UIUC. Formerly UTD. Wife and mother. Huge math and programming languages nerd. I play RPGs, metroidvanias, and puzzle games. She/they. 🏳️⚧️. AuDHD.
Eric Schwitzgebel @eschwitz.bsky.social Philosopher, UC Riverside. Father. Human.
Lise 🇺🇦 @elee9.bsky.social Urban Planner working on Environment/Climate Action/Resilience/Food Systems
#StandWithUkraine🇺🇦, Geopolitics, Science, Tech, History, Art, Music, Travel
Petter Törnberg @pettertornberg.com Assistant Professor in Computational Social Science at University of Amsterdam
Studying the intersection of AI, social media, and politics.
Polarization, misinformation, radicalization, digital platforms, social complexity.
Marley Spoon @marleyspoonus.bsky.social Marley Spoon US | Your favorite meal kit delivering delicious recipes (including Martha Stewarts BEST recipes) and convenient grocery add-ons right to your door 💛
Frances Buontempo @fbuontempo.bsky.social Coder (mostly C++ and Python) and author 
Segmond @segmond.bsky.social I once was here.
Sarah Longwell @sarahlongwell25.bsky.social Publisher of The Bulwark. Host of the Focus Group Podcast. Co-host, The Next Level. Become a subscriber: http://TheBulwark.com/join
Mark Witton @markwitton.bsky.social Palaeoartist, palaeontologist, author, documentary consultant and creature designer. Affiliated with the University of Portsmouth, UK; views and opinions are my own.
More about me at markwitton.co.uk.
Support my work at www.patreon.com/markwitton
Adam Serwer @adamserwer.bsky.social Romanista. Buy my book: https://www.penguinrandomhouse.com/books/665171/the-cruelty-is-the-point-by-adam-serwer/
Longshot Space @longshotspace.bsky.social Building the world's largest gun for hypersonic test and space launch
David Frum @davidfrum.bsky.social Staff writer for the Atlantic. Host of the David Frum Show webcast. Formerly ... quite a lot of things.
Washington DC and Wellington, Ontario.
Reach me via Producer@TheDavidFrumShow.com
DMs open to followers
Ken Jennings @kenjennings.bsky.social Your Jeopardy! pal. Author of THE COMPLETE KENNECTIONS (http://bit.ly/4qUcbhK) and a bunch of other stuff.
Ezra Levin ❌👑 @ezralevin.bsky.social Co-Exec Director of Indivisible along with Leah.
Organizing with local Indivisible groups against America's fascist clown show.
The AGI Monitor @theagimonitor.bsky.social Monitoring global developments, news and scientific discourse on AGI. Your daily read on the news about artificial general intelligence.
#AGI #AI #Tech #Science #News
For Turkish: @bidunyabilim.bsky.social
Editor: @mucahidkose.bsky.social
Tim Marchman @timmarchman.bsky.social I’m an editor at WIRED and have previously written and edited for a number of places. Timothy_marchman@wired.com. Signal me at timmarchman.01. I periodically delete all my posts.
Khashoggi's Ghost @urocklive1.bsky.social Democracy is the way. Truth and justice matter.
Russia can end the war today by leaving Ukraine.
Less proud to be an American than I used to be. I really thought we were better than this.
#IStandWithUkraine #NAFO Fellas fan