"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

数学中最深刻的思想往往来自最简单的问题。

Information is physical, and the processing of information is always tied to the laws of physics.

战争这种事，百年或许都用不上一次，但绝对不能有一天忘记它。

The most sustainable farm is the one that remains profitable year after year.

当我停止进步的那天，就是我该停止比赛的日子。

I don't let anyone control me.

合成材料的未来在于在分子水平上理解和控制聚合物的结构。