"The future of system design lies in the integration of formal methods with traditional engineering practices."

你的生活质量就是你的人际关系的质量。

你的工作将占据你生活的一大部分，唯一能真正满足的方式就是做你认为伟大的工作。

每个人都有存在的意义，我真心相信这一点。

不要害怕冒险。最大的回报往往来自于最大的风险。