"The most important thing is to stay disciplined."
我认为最重要的事情是对自己真实和诚实。
The world is my country, all mankind are my brethren, and to do good is my religion.
I'm not where I want to be, but I'm not where I used to be.
系统设计的未来在于将形式化方法与传统工程实践相结合。