"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
I try to make films that are personal and that I would want to see.
You can have the best technology, you can have the best business model, but if the storytelling isn't amazing, it won't matter. Nobody will watch.
教室仍然是学院中最具可能性的激进空间。
人的救赎需要三样东西：知道他应该相信什么，知道他应该渴望什么，知道他应该做什么。
所有的压迫都会制造一种战争状态。