我们都是自己记忆的人质。

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

The future belongs to those who understand that doing good and doing well are not mutually exclusive.

"And this I believe: that the free, exploring mind of the individual human is the most valuable thing in the world. And this I would fight for: the freedom of the mind to take any direction it wishes, undirected."

I'm not a messiah, but I'm not just a singer. I'm a message.

The most successful leaders are those who listen—to patients, to scientists, and to their teams.