AI-assisted math without the hype may yet be possible.
26.10.2025 18:40 — 👍 1 🔁 0 💬 0 📌 0
STOC 2026 - 58th ACM Symposium on Theory of Computing
ICYMI: Symposium on Theory of Computing #STOC2026 will be in Salt Lake City, June 22–26. The submission deadline is ⏰ Tuesday, November 4, 2025 (4:59pm EST)
Website: acm-stoc.org/stoc2026/
Call for Papers: acm-stoc.org/stoc2026/STO...
17.10.2025 20:54 — 👍 10 🔁 4 💬 1 📌 0
Stanford University, Computer Science/Theory Lab/Stanford University
Job #AJO30865, Postdoc in Theoretical Computer Science at Stanford, Computer Science/Theory Lab/Stanford University, Stanford University, Stanford, California, US
The new call for Motwani postdocs application is now open!
academicjobsonline.org/ajo/jobs/30865
BTW-
Not quite ready for a postdoc? We updated the TCS Masters programs spreadsheet:
www.cs.princeton.edu/~smattw/mast...
Any career stage and in the (SF) Bay Area?
Save the date for TOCA-SV on 11/7!
13.10.2025 20:42 — 👍 14 🔁 8 💬 0 📌 0
arxiv.org/pdf/2510.07788
11.10.2025 13:07 — 👍 27 🔁 3 💬 1 📌 0
Another one bites the dust. Fond memories of my summer at IBM, where I started thinking about quantum information. I also managed to dig up a list of all the theorists who passed through the research lab: web.archive.org/web/20221004...
06.07.2025 00:51 — 👍 16 🔁 1 💬 0 📌 0
Thank you! (I was trying to be ironic)
05.06.2025 14:43 — 👍 0 🔁 0 💬 0 📌 0
I am starting at NYU this Fall! Although it is inconveniently located, if you find yourself in New York, come say hi. Psyched to be part of such a stacked theory group!!
05.06.2025 02:23 — 👍 31 🔁 3 💬 3 📌 0
CNRS researcher in linear programming
Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
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
Computer science, math, machine learning, (differential) privacy
Researcher at Google DeepMind
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Nerd, computer scientist (http://noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
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 at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
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/
Theoretical Computer Science @ EPFL
Quantum physicist. Will apply Cauchy-Schwarz for food.
