有时候最重要的事情正是我们不谈论的那些。
A proof is a repeatable experiment in persuasion.
再聪明的人也不能解决所有问题。聪明人组成的开诚布公的团队却可以无往而不利。
创新是经济增长的关键驱动力,我们必须创造培育创新的环境。
The beauty of theoretical computer science lies in its ability to abstract and generalize, turning specific problems into universal truths.