Art is not to escape reality, but to face it.
"I’m a very positive thinker, and I think that is what helps me the most in difficult moments."
The challenge in model checking is not just to find errors, but to understand why they occur.
虚构作品中的专名并不存在特殊问题。
The whole world is a story, and I’m trying to tell it.