世界需要你的光芒，不要让它暗淡。
The world needs your light, don’t dim it.
我不是那种会让对我名字的爱减少的人。
科学家不是给出正确答案的人，而是提出正确问题的人。
Collaboration across borders is key to solving global food challenges.
国际法的发展是一个不断适应国际社会变化需求的持续过程。
模型检查是验证有限状态并发系统正确性的强大技术。
The best businesses are built on trust—trust in your team, your products, and your customers.