Character is doing the right thing when nobody's looking. There are too many people who think that the only thing that's right is to get by, and the only thing that's wrong is to get caught.

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

"The future is not about technology for technology's sake; it's about technology for humanity's sake."

"I don't feel like I'm acting when I'm acting. I feel like I'm living."

心理学家必须避免一切目的论的解释。

The biggest risk is not taking any risk. In a world that's changing quickly, the only strategy that is guaranteed to fail is not taking risks.

Innovation is not just about creating something new; it's about making something better.

The market is a voting machine in the short term and a weighing machine in the long term.