A real decision is measured by the fact that you've taken a new action. If there's no action, you haven't truly decided.
Collaboration across disciplines is essential for groundbreaking discoveries.
The greatest crimes are not committed by those who break the rules, but by those who follow them to the letter.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."