"In the end, it's not about the awards or the recognition, but about the stories we tell and the lives we touch."

在社会的初期，国家的首领塑造其制度；后来，制度塑造国家的首领。

生活是对灵魂的修炼。

"Grief is a sort of madness, I think. It makes you do strange things."

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