I think music is the best medium to tell a story.

学习数学的唯一方法就是做数学。

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

True innovation comes from curiosity and the courage to challenge the unknown.