形式化方法的美在于它们能够提供关于系统行为的绝对保证。
世界是一本书,不旅行的人只读了一页。
写作是与生活荒谬抗争的一种方式。
创新不仅仅是创造新事物,更是让事物变得更好。
Collaboration across disciplines is essential for solving the most challenging problems in science.