一个有创造力的人是由成就的欲望驱动的,而不是由击败他人的欲望驱动的。
Success is nice, but the real reward is in the doing.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Technology is not just a tool. It can give learners a voice that they may not have had before.
I'm not sad. I'm not happy. I'm just here.