我活得越久，越觉得生活的唯一方式就是带着爱生活。

伟大的事情永远不会来自舒适区。

A building must be honest in its materials and construction.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

如果一个人只希望幸福，这很容易实现；但我们希望比别人更幸福，这总是困难的，因为我们相信别人比他们实际更幸福。

人是唯一需要教育的造物。