I had lunch with this guy a few years back while attending a conference on category theory and the foundations of mathematics. He's super cool, and his talk changed the way I think about foundational topics in math a lot - I wish I could find a video of it to send around.