有些人即使没有存心做坏事，可事实上事情仍会做错，引起不幸的后果。凡是粗心大意、看不出别人的好心好意，而且缺乏果断的人，都一样能害人。

每个项目都是发现我们生活方式新事物的机会。

每一部电影都是一次新的冒险，一个新的挑战。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

商业上的成功来自于理解数字和背后的人。

最好的决策是结合数据和直觉做出的。