数学思想的真正考验是它能否激发更多的问题。
音乐的领域是一个可能性的领域。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
网球是一项残酷的运动。在那里无处可藏。
有一句话我等了三十年,现在终于可以说了:“老爸,我总是跟你说,我会回来拿到我的学位的!”我要感谢哈佛大学在这个时候给我这个荣誉。明年,我就要换工作了(注:指从微软公司退休)……我终于可以在简历上写我有一个本科学位,这真是不错啊。
The only way to achieve something great is to love what you do.