"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Success is no accident. It is hard work, perseverance, learning, studying, sacrifice and most of all, love of what you are doing.
The method of psychology must be as exact as the methods of the natural sciences.