学习如何生活，而不是如何生存。
Your voice is your power, never let anyone silence it.
跨学科的合作对于解决科学中最具挑战性的问题至关重要。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
数学中最令人兴奋的时刻是当你发现一些隐藏在显而易见之处的东西。
The known is finite, the unknown infinite; intellectually we stand on an islet in the midst of an illimitable ocean of inexplicability.
The object of war is not to die for your country, but to make the other bastard die for his.