The future of computing lies in the development of systems that can verify their own correctness.
"Stay true to yourself, yet always be open to learn."
我从失败中学到的比从胜利中学到的更多。