我不追随潮流，我创造潮流。

一本书就像随身携带的花园。

I don’t care what you think unless it’s about me.

The deepest insights in mathematics often come from the most abstract theories.

The most important part of teaching is to teach what it is to know.

"Innovation is the ability to see change as an opportunity - not a threat."

The only way to do great work is to love what you do. If you haven't found it yet, keep looking. Don't settle.

模型检查是验证硬件和软件系统正确性的强大工具。

生活是我们创造的。旅行者是旅行本身。我们看到的不是我们看到的东西，而是我们自己。