你可以梦想、创作、设计和建造世界上最奇妙的地方。可是，这些梦想都需要人的努力才能成真。
You can dream, create, design and build the most wonderful place in the world...but it requires people to make the dream a reality.
真正的领导力意味着今天做出艰难的决定，这些决定将使后代受益。
有时最好的想法来自最意想不到的地方。
钢铁的强度只与制造它的人的强度相匹配。
The future of computing lies in the development of systems that can verify their own correctness.
The past is always with us, for it feeds the present.
让你的梦想成真的最好方式是醒来并工作。
