"The important thing in science is not so much to obtain new facts as to discover new ways of thinking about them."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The best way to learn mathematics is to do mathematics.