"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
To write is to make sense of the chaos.
There is no love that’s so right as admiration-based love, and that love should include the instructive dead. Somehow, I got that idea and I lived with it all my life and it’s been very very useful to me.
真相往往隐藏在我们心灵最黑暗的角落。
The true measure of our industry lies not in tonnes produced, but in communities sustained.
我相信讲故事的力量。正是通过故事，我们彼此联系并理解人类的经历。
A religion that gives nothing, costs nothing, and suffers nothing, is worth nothing.