In the end, it is not the years in your life that count, but the life in your years.

Every journey is a search for the self, even when we think we are running away.

生命太短，不能长时间记恨。

"The future of system design lies in the integration of formal methods with traditional engineering practices."

建筑是一种信仰，是对生活的信仰。