不要让任何人减弱你的光芒。
If I have seen further, it is by standing on the shoulders of giants.
The beauty of mathematics is that it is so simple yet so powerful.
系统设计的未来在于将形式化方法与传统工程实践相结合。
The future belongs to those who embrace change and innovate.