学习数学的最好方法就是做数学。
"The best way to learn mathematics is to do mathematics."
实证研究者最重要的技能不是数学，而是判断力。
Don’t wait for the storm to pass； dance in the rain.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
安全不仅仅是一个优先事项，它是一种价值观。我们必须每天都践行它。
自由最大的敌人是麻木的大多数。