Greg Bodwin
@gbodwin.bsky.social
Assistant professor at UMich. I do theoretical computer science and graph theory.
stoc deadline tomorrow
November 4, 2025 at 3:32 AM
stoc deadline tomorrow
Reposted by Greg Bodwin
Kevin Pratt, Yahel Uffenheimer, Omri Weinstein: (Approximate) Matrix Multiplication via Convolutions https://arxiv.org/abs/2510.22193 https://arxiv.org/pdf/2510.22193 https://arxiv.org/html/2510.22193
October 28, 2025 at 6:31 AM
Kevin Pratt, Yahel Uffenheimer, Omri Weinstein: (Approximate) Matrix Multiplication via Convolutions https://arxiv.org/abs/2510.22193 https://arxiv.org/pdf/2510.22193 https://arxiv.org/html/2510.22193
this is a pretty accurate summary of my research area
October 28, 2025 at 2:38 PM
this is a pretty accurate summary of my research area
I always thought it seemed weird how fancy waiters in movies would be like "Excellent choice, sir" after someone orders off a fixed menu. Now ChatGPT does this, and I can confirm: it is indeed weird
October 20, 2025 at 1:01 AM
I always thought it seemed weird how fancy waiters in movies would be like "Excellent choice, sir" after someone orders off a fixed menu. Now ChatGPT does this, and I can confirm: it is indeed weird
Some UMich TCS lore: a (now-retired) professor once photoshopped these shocked Hilberts to express his surprise at increasingly complicated Hilbert's Hotel situations. They are now in use as all-purpose math reactions. Please enjoy
October 3, 2025 at 2:17 PM
Some UMich TCS lore: a (now-retired) professor once photoshopped these shocked Hilberts to express his surprise at increasingly complicated Hilbert's Hotel situations. They are now in use as all-purpose math reactions. Please enjoy
Reposted by Greg Bodwin
Some questions on spanners in my talk at the Simons Institute. Since the talk, progress has been made on a few questions, but most are open. minorfree.github.io/SpannerQues/
Some Questions on Spanners | Rambling on Graphs
minorfree.github.io
August 25, 2025 at 12:56 PM
Some questions on spanners in my talk at the Simons Institute. Since the talk, progress has been made on a few questions, but most are open. minorfree.github.io/SpannerQues/
adding a "Do you like this personality 👍👎" box to my email signature
July 1, 2025 at 7:46 PM
adding a "Do you like this personality 👍👎" box to my email signature
Thinking about how the security people give their results metal names like "spectre" and "meltdown" and design cool logos for them. We should give that treatment to our theorems
June 4, 2025 at 1:11 PM
Thinking about how the security people give their results metal names like "spectre" and "meltdown" and design cool logos for them. We should give that treatment to our theorems
Reposted by Greg Bodwin
Incredibly well deserved!!
Huge congratulations to Tracy Kimbrel, who received the 2025 ACM SIGACT Service Award 🏆 for his time, dedication, and advocacy as Program Director for the Algorithmic Foundations (AF) program at the NSF!
sigact.org/prizes/servi... #TCSSky
sigact.org/prizes/servi... #TCSSky
2025 ACM-SIGACT Distinguished Service Award
sigact.org
May 31, 2025 at 8:53 AM
Incredibly well deserved!!
Hot CS take: Big-O notation should have been defined to hide constant factor changes in the input variable, not the output function value
May 25, 2025 at 3:16 PM
Hot CS take: Big-O notation should have been defined to hide constant factor changes in the input variable, not the output function value
Lean with it Coq with it
May 13, 2025 at 2:23 PM
Lean with it Coq with it
Reposted by Greg Bodwin
Huge congratulations to my amazing student Yeyuan Chen (+co-author Zihan Zhang of OSU advised by Zeyu Guo) for being awarded the STOC 2025 Best Student Paper Award! Their monumental result proves that explicit Reed-Solomon codes can correct more errors than previously known:
arxiv.org/abs/2408.15925
arxiv.org/abs/2408.15925
Explicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton Bounds
In this paper, we prove that explicit FRS codes and multiplicity codes achieve relaxed generalized Singleton bounds for list size $L\ge1.$ Specifically, we show the following: (1) FRS code of length $...
arxiv.org
April 4, 2025 at 4:08 PM
Huge congratulations to my amazing student Yeyuan Chen (+co-author Zihan Zhang of OSU advised by Zeyu Guo) for being awarded the STOC 2025 Best Student Paper Award! Their monumental result proves that explicit Reed-Solomon codes can correct more errors than previously known:
arxiv.org/abs/2408.15925
arxiv.org/abs/2408.15925
Reposted by Greg Bodwin
I find that this works, mostly, but requires the right amount of skepticism.
Too much leads me to the “dual” of “fully trustful” reading, bogged down in doubting every little piece of ink, and not seeing the shapes or overall picture.
Too much leads me to the “dual” of “fully trustful” reading, bogged down in doubting every little piece of ink, and not seeing the shapes or overall picture.
A proof is a logical argument written to convince a skeptical audience. A corollary is that the best way to read a proof is to roleplay as a skeptical audience.
March 14, 2025 at 4:50 AM
I find that this works, mostly, but requires the right amount of skepticism.
Too much leads me to the “dual” of “fully trustful” reading, bogged down in doubting every little piece of ink, and not seeing the shapes or overall picture.
Too much leads me to the “dual” of “fully trustful” reading, bogged down in doubting every little piece of ink, and not seeing the shapes or overall picture.
when my family asks me about the impact of my research
March 4, 2025 at 5:34 PM
when my family asks me about the impact of my research
frantically changing "graph theory" to "autonomous killer graph theory" in all my papers
February 23, 2025 at 6:12 PM
frantically changing "graph theory" to "autonomous killer graph theory" in all my papers
Reposted by Greg Bodwin
This is terrible news, and part of the ongoing assault on science in the U.S. by the new administration.
To honor Tracy Kimbrel and his service to the NSF's AF division, here's a short thread about a beautiful algorithm of his, joint with Rakesh Sinha (www.sciencedirect.com/science/arti...). 1/
To honor Tracy Kimbrel and his service to the NSF's AF division, here's a short thread about a beautiful algorithm of his, joint with Rakesh Sinha (www.sciencedirect.com/science/arti...). 1/
February 21, 2025 at 4:50 AM
This is terrible news, and part of the ongoing assault on science in the U.S. by the new administration.
To honor Tracy Kimbrel and his service to the NSF's AF division, here's a short thread about a beautiful algorithm of his, joint with Rakesh Sinha (www.sciencedirect.com/science/arti...). 1/
To honor Tracy Kimbrel and his service to the NSF's AF division, here's a short thread about a beautiful algorithm of his, joint with Rakesh Sinha (www.sciencedirect.com/science/arti...). 1/
A proof is a logical argument written to convince a skeptical audience. A corollary is that the best way to read a proof is to roleplay as a skeptical audience.
February 6, 2025 at 2:33 PM
A proof is a logical argument written to convince a skeptical audience. A corollary is that the best way to read a proof is to roleplay as a skeptical audience.
Guy who updates his beliefs towards frequentism after witnessing examples of it working
January 16, 2025 at 8:45 PM
Guy who updates his beliefs towards frequentism after witnessing examples of it working
Reposted by Greg Bodwin
One of my favourite things anyone has ever said about art. You'll be missed, David. 🌹
January 16, 2025 at 6:46 PM
One of my favourite things anyone has ever said about art. You'll be missed, David. 🌹
Reposted by Greg Bodwin
With @adamsmith.xyz and @thejonullman.bsky.social, we have compiled a set of profiles of 29 people in the "foundations of responsible computing" community ("mathematical research in computation and society writ large") who are on the faculty job market.
Link: drive.google.com/file/d/1Hyvg... 1/3
Link: drive.google.com/file/d/1Hyvg... 1/3
December 24, 2024 at 7:50 PM
With @adamsmith.xyz and @thejonullman.bsky.social, we have compiled a set of profiles of 29 people in the "foundations of responsible computing" community ("mathematical research in computation and society writ large") who are on the faculty job market.
Link: drive.google.com/file/d/1Hyvg... 1/3
Link: drive.google.com/file/d/1Hyvg... 1/3
In Vietnam they call these "dragon powder." That is so much cooler than "fire extinguisher" what are we doing
December 21, 2024 at 6:44 AM
In Vietnam they call these "dragon powder." That is so much cooler than "fire extinguisher" what are we doing
I might be the last horse to cross the finish line here, but I learned today that the length "1em" in tex doesn't stand for anything, rather, it's called that because it's exactly the length of one uppercase M 🤯
December 12, 2024 at 5:06 PM
I might be the last horse to cross the finish line here, but I learned today that the length "1em" in tex doesn't stand for anything, rather, it's called that because it's exactly the length of one uppercase M 🤯
I was reminded this week of an open problem in graph theory that has absolutely no business being open. 🧵
December 6, 2024 at 7:50 PM
I was reminded this week of an open problem in graph theory that has absolutely no business being open. 🧵
Pepper illegally attempted to stop us from leaving this morning
December 3, 2024 at 9:38 PM
Pepper illegally attempted to stop us from leaving this morning