No one is bigger than the team. If you can’t do things our way, you’re not getting time here.

"I don't think about the negatives. I just think about the positives."

My work is about people more than anything else.

成功不是终点，而是一段旅程。

Quality is not a slogan; it is a commitment.

History is about to crack wide open. Millennium approaches.

The greatest rewards come from working on something that nobody else is working on.

最成功的公司是那些能够适应变化并重塑自我的公司。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。