我想激励人们相信自己，并突破自己的极限。

I believe that the most important single thing, beyond discipline and creativity, is daring to dare.

【译文】 子游问孝，孔子说：“现在的孝顺，只是能赡养老人。即使是犬马，都会得到饲养。不敬重，有何区别？”

Technology should ultimately serve people, not the other way around.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

跨行业合作是释放资源开采新机遇的关键。