"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

在这种状态下，没有工业...而且最糟糕的是，持续的恐惧和暴力死亡的危险。

——1941年与美国外交官阿弗雷尔·哈里曼（Averell Harriman）的谈话

The best scientists are those who remain humble in the face of the unknown.

女人的美不在于她穿的衣服、她拥有的体态或者她梳发的样子。女人的美绝对是从眼睛散发的，因为那是通往她内心充满爱的门房。