我这一代人最伟大的发现是，一个人可以通过改变态度来改变他的生活。
The greatest discovery of my generation is that a human being can alter his life by altering his attitudes.
It is during our darkest moments that we must focus to see the light.
The future of computing lies in the development of systems that can verify their own correctness.
The best leaders are those who empower others to lead.