The future of computing lies in the development of systems that can verify their own correctness.
Great truths are even more simple than I thought they were....
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
Every man is guilty of all the good he did not do.
重要的不是身体的力量,而是精神的力量。
金钱是战争的命脉。
A city's identity is shaped by its architecture and public spaces.
The heart of another is a dark forest, always, no matter how close it has been to one’s own.
I don't want to be remembered for being famous. I want to be remembered for being brave.