在一个不断试图让你成为别人的世界里，做你自己是最大的成就。
"To be yourself in a world that is constantly trying to make you something else is the greatest accomplishment."
为明天做的最好准备就是今天做到最好。
解释：能吞下船的大鱼，不会在细浅的溪水里遨游；在天空高飞的鸿鹄，不会在肮脏的水池栖息。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
我不害怕把想法推向极端。