系统设计的未来在于将形式化方法与传统工程实践相结合。
People are just as wonderful as sunsets if you let them be. When I look at a sunset, I don't find myself saying, 'Soften the orange a bit on the right hand corner.' I don't try to control a sunset. I watch with awe as it unfolds.
"History is not just about kings and queens; it's about ordinary people and their extraordinary lives."
The only freedom which deserves the name is that of pursuing our own good in our own way， so long as we do not attempt to deprive others of theirs， or impede their efforts to obtain it.
我认为每个人都对自己的职业负有债务，正如人们当然寻求得到赞誉和利润一样，同样地，他们应该通过努力为自己的职业带来帮助和装点，以履行职责。
Success comes when you focus on the long-term vision while executing flawlessly in the short term.
