计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
"The world is full of stories, but it is the ones we choose to tell that define us."
【释义】：和品德好的人相处，就像进入放满香草的屋子，久了也会染上香气；与恶人交往，如同走进卖臭鱼的店铺，久了也会变臭。