可持续发展是我们行业唯一的出路，忽视这一点的人将被淘汰。
Sustainability is the only path forward for our industry. Those who ignore this will be left behind.
You will be judged on how well you treat those who can do nothing for you.
"I am fascinated by the complexity of human relationships."
不要让成功冲昏头脑，也不要让失败打击内心。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
Never stop innovating, never stop improving.
想象反事实的能力是区分人类和机器的关键。
I love the man that can smile in trouble， that can gather strength from distress， and grow brave by reflection.
科学的进步不是通过事实的积累，而是通过发现它们之间的新关系。
条件作用原理同样适用于所有物种。