The best way to learn computer science is to do computer science.
广东话谚语
对认可的渴望，灵魂中的激情部分，是人性中最具政治危险性的部分。
The deepest urge in human nature is the desire to be important.
Science progresses by constantly questioning and refining our understanding.
Success is the sum of small efforts repeated day in and day out.
Writing is making sense of life. You work your whole life and perhaps you've made sense of one small area.
The challenge in model checking is not just to find errors, but to understand why they occur.
I do not lack the courage to think a thought all the way through, and thus far I have encountered no thought that I have feared.