True success comes from building a team that believes in the mission as much as you do.

最大的爱国主义是当你的国家行为不光彩、愚蠢、恶毒时告诉它。

我只想活在当下。

The best way to create interest in a subject is to render it worth knowing, which means to make the knowledge usable.

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

最可怕的时刻总是在你开始之前。

如果你能巧妙地走多学科道路，你将永远不会希望回到过去。这就像砍掉自己的双手。