教学的艺术在很大程度上在于唤醒年轻心灵的自然好奇心，并用知识的营养来满足它。
The art of teaching consists in large part of the ability to awaken the natural curiosity of young minds and to satisfy it with the nourishment of knowledge.
每一部电影都是一次旅程，每一次旅程都会教会你一些新的东西。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
自身无灾无病，感受不到快乐，等到生病卧床，才了解到无灾无病的快乐；家中平安无事，感受不到快乐，等到祸事临头，才体会到平安无事的快乐。
The best decisions are made when you listen to both data and people.