自然界没有废物——每样东西都是其他事物的养分。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

你的工作将占据你生活的一大部分，唯一能真正满足的方法就是做你认为伟大的工作。

"I don't take anything for granted. I work for everything I achieve."

我不需要大声才能被听到。