I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
你必须忠于自己，永远不要让任何人夺走你的光芒。
"写作是一种孤独的职业，但孤独是作家的朋友。"