世界因你的榜样而改变，而不是因你的观点。

世界是一个没有结局的故事。

"As scientists, we have a responsibility to communicate our findings to the public in a way that is accessible and understandable."

我们只是互相陪伴着回家。

系统设计的未来在于将形式化方法与传统工程实践相结合。