Leadership is about making tough decisions with clarity and conviction.
技术进步不可阻挡，但它必须为人类服务。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
A building should not just be seen, but experienced with all the senses.
优雅的沉默比空洞的言语更能打动人心。
The art of doing mathematics consists in finding that special case which contains all the germs of generality.
“我们实现明天的唯一限制是我们今天的怀疑。”
夢は、追いかけるものではなく、創り出すものだ。
"You’ve got about as much charm as a dead slug."
Everything makes me nervous - except making films.