不要在电子邮件中说任何你不愿意直接对某人说的关于某人的事情，因为最终他们会知道。
Don’t say anything about someone in email you would not be comfortable saying to them directly， because eventually they will read it.
教育者的心必须是一团活生生的火焰，是温暖和光明的源泉。
Life is a balance between holding on and letting go.
The challenge in model checking is not just to find errors, but to understand why they occur.
你不能害怕失败。这是你成功的唯一途径。