我唯一真正快乐的时候是在水里的时候。
在一个不断试图让你成为别人的世界里,做你自己是最大的成就。
伟大的设计以你从未想过的方式解决你未曾意识到的问题。
AdS/CFT对应是理解量子引力的有力工具。
我们不能把问题留给下一代解决,我们现在就必须尽自己的一份力。
如果你没有前进,那你就是在落后。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
My work is a satire on consumer society.