The true writer is always an exile, even in his own country.
真正的作家永远是一个流亡者，即使在自己的国家也是如此。
科学的美妙之处在于它让我们能够探索未知，并做出可以改变世界的发现。
如果感受不到爱，我就不会唱关于爱的歌。
成功不在于你赚了多少钱，而在于你对人们生活的影响。
To achieve satisfactory investment results is easier than most people realize; to achieve superior results is harder than it looks.
技术是一种工具，而智慧在于知道如何以及何时使用它。
模型检查是验证有限状态并发系统正确性的强大技术。