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

不要害怕你的生活将要结束，应该担心你的生活永远不会真正开始。

I don't know what I want. I am inconsistent, non-committal, passive; I like the indefinite, the boundless; I like continual uncertainty.

我为那些能做出别人做不到的事情的时刻而活。

想象力是让梦想成真的土壤。

唯一能战胜厄运的是努力工作。