Success is not just about reaching the top; it's about lifting others as you climb.

I like to tell a story and not explain it.

"Acting is not about being someone different. It's finding the similarity in what is apparently different, then finding myself in there."

When you have some success， the feeling of being an imposter can be real. Who am I fooling？ But when you create things that only you — with your unique talents and experience — can do， then you are absolutely not an imposter. You are the ordained. It is your duty to work on things that only you can do.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

I like stories where the boundaries between reality and fantasy are blurred. I like the idea that the world is not as simple as it seems.

挑战是伪装的机遇；拥抱它们，变得更强大。