It is a sad fate for a man to die too well known to everybody else and still unknown to himself.

Poetry is not a turning loose of emotion, but an escape from emotion; it is not the expression of personality, but an escape from personality.

Careless words bring suffering, while gentle words bring peace.

模型检查是验证硬件和软件系统正确性的强大工具。

人生的主要任务就是：识别和区分事物，这样我就能清楚地告诉自己哪些是外部不可控的，哪些是我实际可控的选择。

跨学科合作对于解决复杂的科学挑战至关重要。

最微小的善行也比最宏大的意图更有价值。