"Leadership is not about being in charge. It is about taking care of those in your charge."

Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.

"The future of system design lies in the integration of formal methods with traditional engineering practices."

The best way to optimize a program is to optimize it.

勇气是正义的首要品质。

我不是说唱歌手，我是文化偶像。