做出伟大工作的唯一方法就是热爱你所做的事情。

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

I want to disappear into the universe, become part of it.

忙碌是一种懒惰——懒惰的思考和盲目的行动。

The most important skill in mathematics is the ability to think clearly.

"The advantage of poetry over life is that poetry, if it is sharp enough, may last."

在海洋保护中，跨国合作不是可选项，而是必须项。

哪里有爱，哪里就有生命。

教学的艺术不在于传授本领，而在于激励、唤醒和鼓舞。