我不追逐梦想,我抓住它们。
如果没有目标,分析就是漫无目的、一文不值的。
I’m not a guy that’s going to let my love for the ball down.
在科学中,荣誉归于说服世界的人,而不是首先想到这个想法的人。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
改变的秘诀在于集中所有精力,不是与过去斗争,而是建设未来。