The future of computing lies in the development of systems that can verify their own correctness.
The most important thing is to tell a story that resonates with people.