最成功的公司是那些能够快速适应不断变化的市场需求的公司。

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

音乐本身就是一个世界。

最好的公司是由能够互补彼此优缺点的团队建立的。

勇敢地去尝试新事物，即使一开始做得不好。

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

I got the idea to start Amazon 16 years ago. I came across the fact that Web usage was growing at 2，300 percent per year. I'd never seen or heard of anything that grew that fast， and the idea of building an online bookstore with millions of titles -- something that simply couldn't exist in the physical world -- was very exciting to me. I had just turned 30 years old， and I'd been married for a year. I told my wife MacKenzie that I wanted to quit my job and go do this crazy thing that probably wouldn't work since most startups don't， and I wasn't sure what would happen after that. MacKenzie (also a Princeton grad and sitting here in the second row) told me I should go for it. As a young boy， I'd been a garage inventor. I'd invented an automatic gate closer out of cement-filled tires， a solar cooker that didn't work very well out of an umbrella and tinfoil， baking-pan alarms to entrap my siblings. I'd always wanted to be an inventor， and she wanted me to follow my passion.