教学中最重要的部分是教授什么是知识。
The most important part of teaching is to teach what it is to know.
Politics and literature are both attempts to change reality, just in different ways.
做出伟大工作的唯一方法就是热爱你所做的事。
我们若能大笑世事无常，好好活一场，死神也会战栗一旁。
模型检查是验证硬件和软件系统正确性的强大工具。