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

艺术的功能是扰乱，而非安抚。

Dream big, work hard, stay focused, and surround yourself with good people.

女人的美丽必须从她的眼睛中看到，因为那是通往她心灵的门户，是爱所在的地方。

I don't believe in luck. I believe in preparation meeting opportunity.

A city's identity is shaped by its architecture and public spaces.

希望是最后死去的，但也是最先重生的。

Never, ever give up.

I write to find out what I think.

A good mathematician is someone who can see analogies between theorems; a great mathematician is someone who can see analogies between analogies.