We have really everything in common with America nowadays, except, of course, language.

Mathematics is the poetry of logical ideas.

可持续性不仅仅是一个流行词；它是我们对后代的责任。

"Innovation in algorithms often comes from looking at old problems in new ways."

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

The city is the greatest human invention, and architects must serve its evolution.