"In a time of deceit, telling the truth is a revolutionary act."

艰苦奋斗的石油精神永远不能丢，这是我们的传家宝。

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

The aim of education should be to teach us rather how to think, than what to think—rather to improve our minds, so as to enable us to think for ourselves, than to load the memory with thoughts of other men.

言语越少，祈祷越好。