诗歌是灵魂的镜子。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

生活就是当你忙于制定其他计划时发生的事情。

Space becomes place when it's inhabited with life.

Architecture is really about well-being. I think that people want to feel good in a space... On the one hand it's about shelter, but it's also about pleasure.

China is already at the forefront of the new energy battery field, and this is our pride.