“追求科学不仅是一种职业，而且是一种生活方式。”
"The pursuit of science is not just a profession, but a way of life."
When I approach a child, he inspires in me two sentiments; tenderness for what he is, and respect for what he may become.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The best leaders are those who empower others to lead.
一个奇怪的事实是，在大西洋两岸发现了极其相似的动植物，但没有人对这一现象给出令人满意的解释。
任何公司最有价值的资源都是它的人才。