A leader’s job is to plant the seeds of success in their team.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"All you have to do is write one true sentence. Write the truest sentence that you know."

Leadership is about making the tough decisions when they matter the most.

真相往往比虚构更不可思议。

不要等待完美的时刻，抓住时机并让它变得完美。