人类是唯一思考未来的动物。
The human being is the only animal that thinks about the future.
The challenge in model checking is not just to find errors, but to understand why they occur.
最大的爱国主义是当你的国家行为不光彩、愚蠢、恶毒时告诉它。
建筑师的职责是创造提升人类尊严与自由的空间。