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.