理论计算机科学不仅仅是解决问题；它是关于理解计算本身的本质。
The best way to predict the future is to invent it.
Complexity is not just about the number of components in a system, but about the nature of their interactions.
Mental processes are tools for living, and their worth is in their use.
The best way to cheer yourself up is to try to cheer somebody else up.
没有可持续性的创新只是另一种形式的剥削。
研究历史的人，贵在能够贯通古今的变化，探究天道与人事的关系。
The hepatitis C discovery was not just my work; it was the result of decades of collective effort.