I don't like to do easy things. I like to do things that are challenging and that push me.
心理健康护理的未来在于技术与人类同理心的无缝结合。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
A good algorithm is like a well-told story.
生命的历史由突变书写。
Freedom is nothing else but a chance to be better.