我们不追随潮流，我们只做对我们来说感觉对的事情。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

我们永远要像充满好奇心的孩子一样，站在我们诞生于其中的的巨大奥秘面前，惊叹不已。

I believe in the power of music to heal and bring people together.

【译文】人活一辈子，就像花草树木繁荣，一春一秋，非常短暂。年少时不知道勤学苦读，弹指间就会变成白发老翁。月亮过了十五后光明就会越来越少，人到中年还一事无成，也就不会有大的作为了。