"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.