"The future of system design lies in the integration of formal methods with traditional engineering practices."
不要问医生你该做什么；而是问医生，如果他处于你的情况下，他会做什么。你会惊讶地看到其中的差异。
Success is not about the money, it's about the love.
幸福就是珍惜小事。
True technology leaders are not followers, but definers.
Collaboration is the key to solving the world’s biggest health challenges.
战争是一种可憎的东西，但它也是灵魂的揭示者。
The only thing that can make you a champion is your determination.