The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.

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

最好的领导者是那些能够预见未来的人。