Greg Bodwin

Assistant professor at @EECSatMI. I do theoretical computer science and graph theory.

[Nicole Wein @WeinNicole]

Promo video for the UMich Theory Lab. Happy to call this group my academic home :) https://t.co/Sn68jo3dSO

[Josh Alman @firebat03]

We're restarting NY Theory Day, and have a really fantastic lineup of speakers! Come check it out if you're nearby :)

https://t.co/Lne3DqqDPb

[Emoji Mashup Bot 🫡 @EmojiMashupBot]

🥳 partying + 😟 worried =

[Nicole Wein @WeinNicole]

At University of Michigan CSE we have a new program for PhD applicants to apply for an application fee waiver. If you are interested in applying but paying the fee poses a challenge, see here for more info: https://t.co/vnClBRNegJ

[Caltech𝔼conTheory @CaltechEconThry]

Why don't our schools teach our kids useful life skills instead of useless crap like how to serve a volleyball or make a free throw in basketball? Nobody ever uses that again. If you become a pro you'll learn it in college. PE classes should be about how to move a fridge.

[Greg Bodwin @GregBodwin]

physics isn't stagnant, it's just that up to 85% of all physics is done by Dark Physicists, who

[Jannik Schilling @Jannikschg]

Physics is so stagnant that its Nobel Prize was just awarded to two computer scientists.

Both are brilliant ML researchers, who have nothing to do with fundamental physics research.

This is as close as we get to an admission of stagnation in physics.

[Rasmus Pagh @RasmusPagh1]

SOSA 2025 was so much fun to co-chair with @ioanabercea and a great PC! We just finalized the exciting list of papers that will appear at the conference in New Orleans in January:
https://t.co/tvmVK58Hmb

[Greg Bodwin @GregBodwin]

@gautamcgoel that's more than I've accomplished this week I guess

[Greg Bodwin @GregBodwin]

I got my first P=NP crank paper emailed to me today! It's titled "A brilliant idea for solving the 3-CNF-SAT problem," and it roughly works by correctly proving that if all Boolean formulas are unsatisfiable, then no graphs are 3-colorable.

[Greg Bodwin @GregBodwin]

@omarshehab hmm it read the paper and then started factoring RSA numbers, what does this mean

[Greg Bodwin @GregBodwin]

Today I learned about a 1944 foundational crisis in graph theory, when a WW2 Soviet bombing campaign rendered the Königsberg bridge problem temporarily solvable https://t.co/JSJKtwsyLT

[Gautam Kamath @thegautamkamath]

The Math department at the University of Alberta should rename themselves the Edmonton Eulers

[Greg Bodwin @GregBodwin]

@shayso_ This is really nice! Very surprising to me that your bicriteria approx algorithm is possible.

[Greg Bodwin @GregBodwin]

@sushnt I think you answered your own question ;)

[Greg Bodwin @GregBodwin]

@thejonullman you're stuck with me now. no take backs.

[Greg Bodwin @GregBodwin]

when integers run in circles it's a very very

mod world

[😶‍🌫️ @penishorts]

Cube should play Hexagon in a live action polygons movie!

[Jonathan Birch @birchlse]

How did people describe the brain before computer metaphors? Charles S. Sherrington in 1942 called it "that enchanted loom where millions of flashing shuttles weave a dissolving pattern."

[Greg Bodwin @GregBodwin]

@thejonullman Oh no there's a difference! Now I'm worried that I undergeneralized my take and people will not feel sufficiently attacked

[Greg Bodwin @GregBodwin]

My most cancellable opinion is I don't seriously believe that anyone has strong feelings about fonts