爱音乐，爱生活，爱你们。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
建筑开始于工程结束的地方。
我不同意你说的话，但我愿意为你说话的权利而献出生命。
机器学习是让计算机在没有明确编程的情况下行动的科学。
写作是让过去成为现在的一种方式。
每个建筑都是一个原型；没有两个是完全相同的。
The purpose of art is to make the world a better place.
