我认为在生活中冒险很重要。你必须愿意走出你的舒适区。
I think that it's important to take risks in life. You have to be willing to step out of your comfort zone.
可持续性始于土壤；如果我们不关心它，其他一切都无关紧要。
任何一个有智力的笨蛋都可以把事情搞得更大，更复杂，也更激烈。往相反的方向前进则需要天份，以及很大的勇气。
记忆是我们不断告诉自己我们的故事的方式——并且告诉别人一个稍微不同版本的故事。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
生活中你必须无所畏惧。