做出伟大工作的唯一方法就是热爱你所做的事。
The only way to do great work is to love what you do.
金融改革要坚持以服务实体经济为根本方向。
——同盟会
模型检查是验证有限状态并发系统正确性的强大技术。
真正的领导力是赋能他人实现他们认为不可能的事情。