"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

To accomplish great things, we must not only act, but also dream; not only plan, but also believe.

"You have to believe in yourself when no one else does—that's what makes you a champion."

The important thing in science is not so much to obtain new facts as to discover new ways of thinking about them.