Success comes to those who work hard.
La imaginación es el arma más poderosa que tenemos contra la realidad.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
You can't let praise or criticism get to you. It's a weakness to get caught up in either one.
领导力是关于用远见和诚信做出艰难决定。
金融市场不仅仅是关于赚钱，而是关于在时间和空间上高效地配置资源。