我认为最好的作品来自于真实的地方。
I think the best work comes out of a place of truth.
在计算机科学中,验证过程与创造过程同样重要。
Force and fraud are in war the two cardinal virtues.
我们需要世界上的思想多样性来面对新的挑战。
法律不是道德;不要期望它能完成只有道德才能完成的事情。
我们更关注建筑改善人们生活的能力,而不是建筑美观的能力。
In the end, we will remember not the words of our enemies, but the silence of our friends.
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.