创新不仅仅是创造新产品；而是重新思考我们如何解决问题。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

寻找上帝最好的地方是花园，你可以在那里挖掘他。

人生就像一场逆行的旅程，我也只是其中的一个过客。

农业技术应该赋能农民，而不是取代他们。

The things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success.

I’m not afraid to speak my mind.

我相信梦想的力量。梦想是推动我们前进的动力。