一个观念的价值在于它的实际后果。

My life is my message.

People fear what they don't understand and hate what they can't conquer.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

I am interested in the transformation of substances.

一个善待别人的人，别人也会善待你。《孟子》中也说“爱人者，人恒爱之；敬人者，人恒敬之”，爱别人的人，别人也会爱他；尊敬别人的人，别人也会尊敬他。

Focus on progress, not perfection.