Great leadership is about creating more leaders, not more followers.

Grow old along with me! The best is yet to be, the last of life, for which the first was made.

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

未来属于那些相信自己梦想之美的人。

要在科学上成功，你需要对真理有热情。