系统设计的未来在于将形式化方法与传统工程实践相结合。

We believe that architecture is a tool to improve lives, and that's the only reason why architecture is important.

The eye through which I see God is the same eye through which God sees me; my eye and God's eye are one eye, one seeing, one knowing, one love.

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

我练习得越多，我就越幸运。

身、口、意三业本质不同，但都会招致相应的果报