"I like the night. Without the dark, we'd never see the stars."

Leadership is about making tough decisions with conviction and empathy.

"Technology is the knack of so arranging the world that we don’t have to experience it."

I'm not afraid to speak my mind.

I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.