公司最大的资产是员工；投资他们，他们就会投资公司。

我就在繁星中的一颗上生活。我会站在其中的一颗星星上微笑。当你在夜间仰望天际时，就仿佛每一颗星星都在笑……你——只有你——才能拥有会笑的星星……

Friends always come and go, but a champion flag will never fall.

The challenge in model checking is not just to find errors, but to understand why they occur.

你无法总是控制外面发生的事情。但你总能控制内心发生的事情。

如果你能梦想，你就能实现它。