科学家的遗产不在于发表的论文,而在于激发的心灵。
"The legacy of a scientist is not in the papers published, but in the minds inspired."
有时候,邪恶的人会告诉我们一些事情,只是为了迷惑我们——在我们面对他们之后,长久地困扰我们的思想。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
力量来自于克服那些你以为自己无法应对的事情。
Leadership means making tough decisions today for a better tomorrow.
拥有朋友的唯一方式是成为朋友。