I like to explore the dark side of human nature in my films.

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

如果我们一直等着别人或以后，改变是不会到来的。我们自己就是我们在等待的人。我们自己就是我们寻求的改变。

记忆是连接过去与未来的桥梁。

The more you like yourself， the less you are like anyone else， which makes you unique.

我坚信，自我教育是唯一存在的教育类型。