形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Success is not just about what you accomplish in your life, it's about what you inspire others to do.
Risk management is the most important thing to be well understood. If you don't have a good risk management system, you are going to blow up.
当你有酒有肉的时候，很多兄弟朋友跟着你，可是当你遇到紧急危难的时候，却连一个人也看不到。
世界是一团伟大的火焰，我们是其中的火花。
Your self-worth is determined by you. You don't have to depend on someone telling you who you are.
我不是赢家，我是输家。