"The best investment you can make is in yourself."

模型检查是验证有限状态并发系统正确性的强大技术。

艺术应该是一个意外可以出现的空间。

The only thing greater than the power of the mind is the courage of the heart.

最好的电影摄影是你不会注意到的，因为它感觉如此自然。