The real challenge in computer science is not to write programs, but to understand the nature of computation.
A culture of innovation is the source of an enterprise's vitality.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I'm the reason your trees won't sway.