"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

The team comes first. I have to do what's right for the team and not just for myself.

I'm very passionate about what I do, and I think that's important.

没有人值得你流泪，值得让你这么做的人不会让你哭泣。

When I accept myself as I am, then I can change.

人真正的祖国是童年。