"Theoretical computer science is not just about solving problems, but about understanding the nature of computation itself."
On choosing friends: "Life's too short to hang out with people who aren't resourceful."
Innovation in mining technology is essential to meet the world's energy demands.