技术是这样一种诀窍，它安排世界，使我们不必去体验它。
"Technology is the knack of so arranging the world that we don't have to experience it."
The only way to do great work is to love what you do.
人生的时间是有限并不可变的，所以要有效率地用每一分钟，不用好就是一种浪费。
I don’t think you should ever feel like you’ve achieved everything. You always have to keep pushing.
科学家与公众之间的对话对于负责任的创新至关重要。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."