Success is not about being the best, it's about being consistent and persistent in your efforts.

在我看来，自然界是最大的兴奋来源；最大的视觉美来源；最大的智力兴趣来源。它是生命中许多让生活有价值的东西的最大来源。

我总是努力寻找解决办法，而不是借口。

书籍可能是危险的。最好的书应该贴上“这可能会改变你的生活”的标签。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

"I think the first duty of a writer is to entertain."