形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

"Sometimes the greatest act of rebellion is simply to remember."

真正的领导力不在于掌控，而在于照顾那些你负责的人。

The more we learn about black holes, the more we realize how much we still don’t know.

我的人生哲学是：简单就是美。