案上不可多书，心中不可少书；鱼离水则身枯，心离书则神索。
书桌上不能有太多的书，心中则不能少书；这就好像鱼离了水则干枯，心中没有书则无寄托。
道德领导力不是追求完美，而是承担责任。
我一直是一个追随内心的人。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
自然界的铁律是：你得到你所奖励的。如果你想让蚂蚁来，你就在地板上撒糖。