The best leaders are those most interested in surrounding themselves with assistants and associates smarter than they are.

Mathematics is not a spectator sport; you have to play to understand.

Love yourself first and everything else falls into line.

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

The most valuable of all talents is that of never using two words when one will do.

记忆是我们随身携带的日记。

预测未来的最好方式就是创造未来。