我对成为名人没兴趣。我感兴趣的是成为艺术家。
教育是你可以用来改变世界的最有力武器。
我们必须像投资技术一样投资于人,我们的员工是我们最宝贵的资产。
不要着急,最好的总会在最不经意的时候出现。
理解计算的历史对于创新其未来至关重要。
The future of computing lies in the development of systems that can verify their own correctness.