Ryan Williams @rrwilliams.bsky.social
@rrwilliams
Followers
8K
Following
6K
Media
66
Statuses
2K
Professor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)
Cambridge, MA
Joined April 2008
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. (Skipping the ceremonial stuff that happened before the talk).
1
22
146
I'm excited to visit @the_IAS in the fall!.
🖥️ Theoretical computer scientist @rrwilliams returns to the Institute this fall as the architect of a proof described as “stunning” and “massive.” In May, Ben Brudaker of @QuantaMagazine interviewed him about the revolutionary result:
1
2
25
CCC’25 will take place August 5-8 at the Fields Institute in Toronto! Students/postdocs (from any institution) are eligible to apply for a travel allowance. For full consideration, please apply by June 20; awards to be announced on June 25.
0
5
19
What are you still doing on X/Twitter?.Go see my Bluesky or Mastodon account for some cool complexity theory news.
mastodon.social
New paper: Simulating Time With Square-Root Space https://people.csail.mit.edu/rrw/time-vs-space.pdf It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in...
1
3
23
RT @fortnow: Nima Anari, Kuikui Liu, Shayan Oveis Gharan, and Cynthia Vinzant to receive the 2025 Michael and Sheila Held Prize. https://t….
nasonline.org
The Michael and Sheila Held Prize is presented annually to honor outstanding, innovative, creative, and influential research in the areas of combinatorial and discrete optimization, or related parts...
0
4
0
735 submissions to STOC . đź‘€.(The previous high was apparently 592, from last year). I'm on the STOC PC this year, so expect some complaints on this channel (and possibly review requests).
4
5
118
When I was rejected from many grad schools and I contacted profs to ask how to improve my application, it was Steven who wrote back and suggested that I try to write a conference paper. Based on that interaction, I wrote a paper for SODA which got in, and got me into schools.
0
0
21
Steven was a mentor and friend to me, during my years at CMU. I must have spent more time talking with him about P vs NP than anyone else. Later he wrote rec letters for me. I knew his health wasn't great in recent years, but this is a terrible shock. Rest in peace, Steven.
Steven Rudich passes away at 63.
1
1
22
Many congratulations to @firebat03 (!!!).
Assistant Professor of @ColumbiaCompSci Josh Alman has received the 2024 Packard Fellowship for Science and Engineering, joining 20 early-career researchers selected this year. The five-year $875k grant will support his research in advancing algorithm speed and efficiency.
1
2
22
Yeah, @ASMSDragons is a good school :).
This is exactly the LinkedIn you'd expect from someone who discovered the world's largest prime number.
0
1
10
RT @bcrypt: PSA i can spoof any email and it will pass all DKIM/SPF/etc. checks. here's an email i sent to myself p….
0
741
0
RT @thegautamkamath: Sounds like a super exciting opportunity! MIT EECS was such an invigorating environment, and I miss my days there. I….
0
3
0
While trying to use these results to refute OVC, I also learned how to work with SAT/SMT solvers like Z3. I ended up finding some new theoretical OV (and SAT) algorithms, by running practical SAT solvers! (2/2).
0
0
21
Here's my latest attempt to refute the notorious "Orthogonal Vectors Conjecture":.We knew if OVC was false, then non-uniform circuit lower bounds would follow. Here we show that its truth would also imply (different) non-uniform circuit lower bounds! (1/2).
1
11
86
MIT EECS is hiring a theory lecturer! Apply here:.
0
11
53
RT @DIMACSCenter: Binge watch lectures from Frontiers in Complexity Theory over the holiday weekend! Metacomplexity (Rahul Ilango), algebra….
youtube.com
Summer 2024 DIMACS held an advanced workshop for graduate students in complexity theory! Our goal was to bring together up-and-coming complexity researchers ...
0
20
0
RT @thegautamkamath: @gavinrbrown1 Fond memories of attending @CornellMHockey "away" games at Lynah East versus @HarvardMHockey in Boston.….
0
1
0
RT @ccanonne_: Want to attend #FOCS2024 in Chicago this year? Travel grants are available for US-based students and postdocs! Apply by ⏰ Se….
0
18
0
RT @DIMACSCenter: Videos from the DIMACS Tutorial on Fine-grained Complexity have dropped!! You can access the Playlist on YouTube or you c….
youtube.com
DIMACS Tutorial on Fine-grained Complexity July 15, 2024 - July 19, 2024 http://dimacs.rutgers.edu/events/details?eID=2764 A traditional goal of complexity t...
0
9
0
RT @DIMACSCenter: Today at the Frontiers in Complexity Theory workshop, @nutanlimaye introduced students to hardness vs randomness in the a….
0
4
0