利润很重要，但它永远不应该以我们的原则为代价。
Profit is important, but it should never come at the expense of our principles.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
数字工具可以通过使干预措施对那些可能无法获得帮助的人变得可及，从而民主化心理健康护理。
In science, the credit goes to the man who convinces the world, not to the man to whom the idea first occurs.
最成功的领导者是那些倾听多于说话，并从周围每个人身上学习的人。
Innovation in extraction technology is meaningless if it doesn't prioritize environmental sustainability.
I think that God, in creating Man, somewhat overestimated his ability.