Well known for finding efficient solutions to apparently intractable problems, then rigorously proving time and memory requirements for best, worst, and average-case performance.
Can prove that P is not equal to NP. Doesn't want to work for companies that don't know what this means.
Not related to the American politician.