做出伟大工作的唯一方法就是热爱你所做的事。
成功是对任何曾经怀疑你的人最好的报复。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
I'd rather be hated for who I am, than loved for who I am not.
——《在石家庄国民党交通部欢迎会的演说》(1912年9月21日)