The only way to do great work is to love what you do.
我总是等机会错过了才发现我曾有过机会。
饥饿的时候就不惜妄取以保存性命,吃得很饱的时候又用虚伪的行为来粉饰自己。 
"The greatest human achievements are the stories we tell each other."
"I’m the one I should love in this world."
未来属于今天为之准备的人。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."