Theoretical Computer Scientist at Columbia. Formerly at Harvard, MIT and Stanford.

Joined March 2013
17 Photos and videos
23 Mar 2025
NY Theory Day is returning on Friday April 11 at Columbia! It's free to attend but you have to register on the website by April 4. We have a great speaker lineup: Rachel Cummings (Columbia) Bill Kuszmaul (CMU) Nick Spooner (Cornell) Ryan Williams (MIT) sites.google.com/view/nycthe…
1
5
32
4,159
Josh Alman retweeted
24 Nov 2024
What a time for Columbia University Athletics. Earlier today, @CULionsFB clinched its first Ivy League championship since … 1961. Tonight, @CULionsMBB improves to 7-0 on the season after a blowout of Stony Brook. The last time the program was 7-0? It was 1969. History in NYC!
4
34
268
34,355
12 Nov 2024
We're restarting NY Theory Day, and have a really fantastic lineup of speakers! Come check it out if you're nearby :) sites.google.com/view/nycthe…

New York Theory Day finally returns on December 6, 2024, after being put on hiatus during COVID. Will be held at @nyutandon in Brooklyn. Registration is free! Ft stellar speakers Amir Abboud, Sanjeev Khanna, Rotem Oshman, and @ronrothblum! sites.google.com/view/nycthe…
3
35
3,981
Crazy start to the season for @CULionsMBB!!
Villanova loses a buy game to Columbia. The epitome of brutality.
1
3
889

UPSET: Columbia shocks @NovaMBB! 👀 @CULionsMBB's first win against a Big East team in over a DECADE! 🔥
672
Josh Alman retweeted
14 Oct 2024
New paper proving that many important tasks solved by transformers can't be done in subquadratic time. Sorry Linear Transformers, Mamba and all the others. arxiv.org/abs/2410.04271 By @firebat03 and @HantaoYu_Theory.
15
47
364
46,941
20 Sep 2024
We put together another Galactic Puzzle Hunt that starts tomorrow afternoon and will be running for the next 10 days. It's free to play, all online, and (hopefully) fun even if you only try it for a short time. Check it out and solve our puzzles! 2024.galacticpuzzlehunt.com/
7
701
Josh Alman retweeted
I was blown away by Amir Abboud’s anecdote: they suspected that All Pairs Max Flow on undirected graphs must admit a subcubic algo since known FGC tricks to reduce APSP to UAPMF failed — they found a problem ripe for better algos guided by the library of tools developed in FGC.
SETH might be false but fine-grained reductions and equivalences live on. (Any one of our hypotheses could end up dying once the right technique is developed. In a sense, we hope for this, once we have proven equivalences.)
2
2
42
7,469
Josh Alman retweeted
AI And IMO: DeepMind Solved every non-combinatorics problem. Missed every combinatorics problem :) deepmind.google/discover/blo…
1
1
9
813
Josh Alman retweeted
A number of people (grad students in particular) said they enjoyed my talk at ICALP. So maybe you'll like it too. A little unusual, it's about how/why I ended up working on circuit complexity. youtube.com/live/0DrFB2Cp7tg… (Skipping the ceremonial stuff that happened before the talk)
2
21
150
22,031
13 May 2024
Ryan's hugely influential work using algorithms to prove lower bounds wins the 2024 Gödel Prize! Congrats @rrwilliams!!
3
33
2,648
10 Apr 2024
Great news! Also check out the quanta article quantamagazine.org/avi-wigde…
🏆 We're thrilled to announce the recipient of the 2023 #ACMTuringAward: Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM @the_IAS
1
31
1,744
28 Feb 2024
Should be really excellent! Check it out if you're a grad student interested in learning more about fine-grained complexity!
28 Feb 2024
Are you a TCS grad student who doesn't know much about fine-grained complexity, but wish you did? Check out the DIMACS Tutorial on Fine-grained Complexity that @karthikcs_, Amir Abboud, and Nick Fischer are organizing for July 15-19, 2024: dimacs.rutgers.edu/events/de…
2
11
1,668
14 Nov 2023
My friends and I (mostly my friends) made another online puzzle hunt! It launched a few days ago, but you can start any time over the next couple weeks. I think it's relatively accessible to less-experienced puzzlers. Check it out if you like puzzles or strategy card games :)
An ancient treasure map has led you to the entrance of the GalactiCosmiCave. What dangers or riches await within? 2023.galacticpuzzlehunt.com/
13
2,607
Our Columbia CS department is hiring in all areas of CS this year, for multiple tenure-track and lecturer positions. Be sure to apply!! cs.columbia.edu/open-positio…

The Computer Science Department at Columbia, @ColumbiaCompSci, has multiple tenure track (and lecturer) positions open. Please apply and join us in a fast-growing department in the best city in the world! cs.columbia.edu/open-positio…
1
6
26
8,985
Some really great articles from @benbenbrubaker about complexity recently!!
If you want to prove theorems about the limits of algorithms, “just say no” turns out to be a surprisingly powerful strategy. I explain how it works in my newest @QuantaMagazine story quantamagazine.org/alan-turi…
1
1
7
1,840
Josh Alman retweeted
For more than 50 years, complexity theorists have tried and failed to solve the foundational question of their field. Why is it so hard to prove hardness? @benbenbrubaker reports: quantamagazine.org/complexit…
9
97
290
171,322
Josh Alman retweeted
Avi Wigderson, 2021 Abel prize laureate, has made many seminal contributions to theoretical computer science and mathematics. With Yael Kalai, Ran Raz, Salil Vadhan & @NisheethVishnoi , we wrote an overview of his works arxiv.org/abs/2307.09524

3
48
234
30,470
Jack Lance, a brilliant puzzle author, passed away recently. Here's a fantastic "star battle" puzzle of his that I particularly like. (If you're unfamiliar with star battles, you may want to try more classical ones first, e.g., gmpuzzles.com/blog/star-batt….)
1
5
1,991
He also has a feed of puzzle-y "tweets" jacklance.github.io/twitter.… and many fun puzzle games jacklance.github.io/games.ht…

1
555