Ryan Williams
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)
@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
@lilyxu.bsky.social
Developing AI for planetary health. Postdoc at Oxford with the Leverhulme Centre for Nature Recovery & assistant prof at Columbia IEOR (starting fall 2025). https://lily-x.github.io
@simonebarr.bsky.social
audience producer @ quanta magazine imbuing scientific research with a sense of excitement and urgency. also learning how to knit.
@michaelnielsen.bsky.social
Searching for the numinous Australian Canadian, currently living in the US https://michaelnotebook.com
@mmoyer.bsky.social
The executive editor of Quanta Magazine dot org. Big nerd about cosmic paradoxes, livable cities, trail running, cocktails.
@healthyalgo.bsky.social
Exploring the intersection of global health metrics, epidemiology, and data science. Bridging the gap between methods and practice to better measure and improve population health worldwide.
@bouldertheory.bsky.social
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
@andrew-luo.bsky.social
Assistant Prof at HKU IDS & Psychology, exploring NeuroAI and ML | Prev: 24' CMU Neural Comp & MLD PhD | 19' SB MIT CS | https://andrewluo.net
@hamelinny.bsky.social
@shivamnadimpalli.bsky.social
CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
@jelaninelson.bsky.social
Professor and Chair of Computer Science Division, UC Berkeley EECS. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹
@bmkapron.bsky.social
Theoretical computer scientist at University of Victoria www.cs.uvic.ca/~bmkapron
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@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/
@iwmertz.bsky.social
Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
@pims.math.ca
PIMS is a consortium of 10 universities promoting research in and the application of the mathematical sciences in western Canada and the Pacific Northwest.
@mitmath.bsky.social
The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
@fieldsinstitute.bsky.social
At the Fields Institute, mathematics research, innovation and education flourish. We foster an inclusive, equitable and collaborative culture where everyone can discover mathematics, and where mathematicians can make meaningful contributions to the world.
@sciencenews.bsky.social
We report on the latest news in all fields of science. See also @snexplores.bsky.social
@taliaringer.bsky.social
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@sparkes.bsky.social
Reporter at New Scientist magazine. Got a story? Email: matthew.sparkes@newscientist.com
@richardcleve.bsky.social
@cathywu.bsky.social
AI+Transportation. Creating computational tools for engineers to reimagine systems for society. Neural combinatorial optimization. Reinforcement learning. Associate Prof. at MIT. Hype adjacent. http://www.wucathy.com/
@stefangrosser.bsky.social
CS PhD Student at McGill https://blog.catalangrenade.com/p/about.html
@aifi.bsky.social
Machine Learning | Stein Fellow @ Stanford Stats (current) | Assistant Prof @ CMU (incoming) | PhD @ MIT (prev) https://andrewilyas.com
@zdeborova.bsky.social
Professor at EPFL. Une mathémaphysinformaticienne. Passionate mushroom hunter. Tamer of two little dragons.
@szeider.bsky.social
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)
@girving.bsky.social
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
@holgerdell.com
Associate Professor at IT University of Copenhagen | Professor at Goethe University Frankfurt | Theoretical Computer Science
@helger.bsky.social
Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
@dsivakumar.bsky.social
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 :)
@jmhitchcock.bsky.social
@harrowing.bsky.social
@josephorourke.bsky.social
Mathematician and Computer Scientist, Smith College, USA. https://cs.smith.edu/~jorourke/ Polyhedron displayed in banner has max volume of all foldings from a square.
@dabacon.tachyon.institute
Theoretical ski bum. Former pseudo professor. Quantum bridge builder. Will math for food. mastodon: @dabacon@ftl.chat https://dabacon.org
@jzuiddam.bsky.social
Mathematician and computer scientist. Assistant prof. at Univ. of Amsterdam @UvA_Amsterdam and researcher at Centrum Wiskunde & Informatica @CWInl. Previously: Simons J. Fellow, NYU @Simons_SOF, @the_IAS. https://staff.fnwi.uva.nl/j.zuiddam/
@kelseyahe.bsky.social
math + writing + videos www.youtube.com/@chalktalkmath www.kelseyhoustonedwards.com