True innovation comes from faith in the future.

I'm the type of person,if you ask me a question, and I don't know the answer,I'm gonna to tell you that I don't know. —The Pursuit of Happyness.

"The future of system design lies in the integration of formal methods with traditional engineering practices."

I don't want to be a superstar. I want to be a super person.

生活是世界上最罕见的事情，大多数人只是存在而已。

Never let anyone tell you that you can’t do something.