"We must continue to push the boundaries of what is possible in science, for the betterment of humanity."

The scientific community must work together to address global challenges.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

The tears of the world are a constant quantity. For each one who begins to weep, somewhere else another stops. The same is true of the laugh.

"真相是一个影子，而影子是一个谎言。"

一件事情都不能做到有始有终，就不要去操持其他的事情;一物也不明白，就不要追求博闻广记。

The only way to make sense out of change is to plunge into it, move with it, and join the dance.