写作的真正美在于其触动人类心灵的能力。
Even in abstraction, mathematics has profound real-world applications.
I believe in the power of storytelling to change the world.
The process of verification is as important as the process of creation in computer science.
The goal of software engineering is to control complexity, not to create it.