To be is to be perceived.

You can have all the talent in the world, but if you don’t work hard, it won’t matter.

"The future of system design lies in the integration of formal methods with traditional engineering practices."

伟大的领导者不创造追随者，他们创造更多的领导者。

真相并不总是美丽的，但追求真相总是高尚的。

诗歌是由文字组成的小机器。

The petroleum industry must accelerate digital transformation and use intelligent means to improve operational efficiency.

经常要坦白地承认一项过失错误，这将使你的上司意料防备不及，才会给你一个机会去犯更多的错误。

自由是生命的呼吸。