我必须拥有花朵，永远，永远都要。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

Never underestimate the power of a team that believes in its mission.

我们假装是什么，我们就是什么，所以我们必须小心我们假装是什么。

金融模型的真正考验不在于它有多复杂，而在于它是否能很好地捕捉经济问题的本质特征。

生存不是无所畏惧。它是关于做出决定，继续前进并去做，因为你必须这样做。

我认为在电影制作中冒险是很重要的。