领导力是关于做出艰难的决定并坚持它们，即使这些决定不受欢迎。

思考就是将自己局限于一个单一的思想，有一天它会像世界天空中的一颗星星一样静止不动。

"We always overestimate the change that will occur in the next two years and underestimate the change that will occur in the next ten. Don't let yourself be lulled into inaction."

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."