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

伟大的事情永远不会来自舒适区。

当你悲伤的时候，就会喜欢看落日。

作物的多样性和思想的多样性同样重要；两者都是韧性的关键。

我不是商人。我是设计师和工程师。

经济学家需要三种伟大的智力才能：感知、想象和理性；而最重要的是他需要想象力。