"The most thought-provoking thing in our thought-provoking time is that we are still not thinking."

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

永远不要停止学习，一旦停止，你就会开始落后。

To travel is to discover that everyone is wrong about other countries.

沉默可以是最有力的交流形式。