Success comes from persistence and the willingness to learn from failures.

"Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence."

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

政府的腐败几乎总是始于其原则的衰败。

Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.

"The dead are never far from us. They're in our hearts and on our minds and in the end all that matters is love."