你不能只是坐在那里等待生活来找你，你必须去争取它。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

环境中的小变化会对行为产生巨大影响。

领导力是激励他人相信比他们自己更伟大的东西。

不能检查反省自己的人，看不出自身毛病；不能耐心忍受麻烦的人，终究是一事无成。

投资清洁煤炭技术不是开支，而是对我们未来的投资。

公平竞争是足球的基石；没有它，比赛就失去了灵魂。

我相信建筑是一门社会艺术。