"Sometimes, the only way to stay alive is to keep moving."

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

我做事情不是为了反应或批评。我做是因为我喜欢做。

有时候你必须先迷失自己，才能找到自己。