成功不是幸福的关键。幸福才是成功的关键。如果你热爱你所做的事情,你就会成功。
The challenge in model checking is not just to find errors, but to understand why they occur.
If you are ever in trouble, don’t try to be brave, just run, just run away.
I think it's important to take risks in filmmaking.
Understanding inequality requires looking beyond averages.