用爱和智慧去指导你的生活。
Guide your life with love and wisdom.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
宇宙不仅比我们想象的更奇怪,它比我们能想象的还要奇怪。
制药行业有道义上的责任,把患者放在利润之前。
The best stories are those that make us question ourselves.
I believe in the passion of creation. Without passion, you have nothing.
A poet can survive everything but a misprint.
The longer you look at an object, the more abstract it becomes, and, ironically, the more real.