形式化方法的美在于它们能够提供关于系统行为的绝对保证。
全球市场需要全球思维和本地执行。
"Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding."
数据是宝贵的东西,它将比系统本身更持久。
Art grows out of necessity, not out of fashion.
Beyond the spotlight of attention, the undercurrents of the subconscious are altering the riverbed.