"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

我从来不是一个在意别人说什么的人，我就是我。

失败是成功的一部分，不应回避，而应从中学习。

"The world is indeed full of peril, and in it there are many dark places; but still there is much that is fair, and though in all lands love is now mingled with grief, it grows perhaps the greater."

The genome is a graveyard of extinct species.

Leadership is not about being in charge. It's about taking care of those in your charge.