The best way to predict the future is to create it.
Success comes from teamwork, and teamwork starts with trust.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
爱因斯坦曾说 ‘上帝从不掷骰子’。恰恰相反,黑洞的研究表明上帝的确会掷骰子,偶尔还让骰子销声匿迹,令人徒唤奈何。
The world is a fine place and worth fighting for.
成功不仅仅以利润来衡量,还以我们创造的积极影响来衡量。