真正的文学应该能够改变读者的生活。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
最优秀的科学家是那些在自然的复杂性面前保持谦逊的人。
The only way to do great work is to love what you do.