"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

I believe in the power of cinema to transport people to different worlds and times.

In the quest for understanding the cosmos, every question answered leads to a dozen more.

我不相信安全行事。我相信冒险。

There are things that happen and leave no discernible trace, are not spoken or written of, though it would be very wrong to say that subsequent events go on indifferently, all the same, as though such things had never been.

译文：好名声靠同事朋友传扬，好品德靠自己坚持。