生活不是等待风暴过去，而是学会在雨中跳舞。
Life is not about waiting for the storm to pass, it’s about learning to dance in the rain.
Some of life,you have to go to great challenges.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
I believe in the power of music to bring people together.
"In mathematics, you don't understand things. You just get used to them."
故事是一种不离家就能探索世界的方式。