Richard Lipton
What would Turing be doing today?