"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

I write because I cannot scream.

唯一真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。

发现的快乐无疑是推动科学前进的动力。

用音乐感动世界，用爱温暖人心。