The future of computing lies in the development of systems that can verify their own correctness.
科学不仅是理性的学科,也是浪漫和激情的学科。