形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
There are no permanent leaders in the semiconductor industry, only constant learners.
一年规划，没有比种植五谷更好的；十年规划，没有比种植树木更好的；终身规划，没有比培养人才更好的。
我不害怕跌倒，因为我知道我会重新站起来。
The labor market is more adaptable than traditional models assume.
译文：用人如同使用器具，应取其专长。主张根据才能特点任用，反对求全责备。
每个人都有自己的故事，每个故事都值得被倾听。
The only way to do great work is to love what you do.
你知道的越多，你能创造的越多。你能创造的越多，你能表达的越多。
自守形式的研究是进入宇宙隐藏对称性的旅程。