形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
Like dear St Francis of Assisi I am wedded to Poverty: but in my case the marriage is not a success.
就像亲爱的圣芳济一样,我也和贫穷联姻,但我的婚姻并不成功。
让这成为一个准则:永远不要给孩子一本你自己不愿意读的书。
Mathematics is the language in which the universe writes its deepest secrets.
我们在自然知识中前进得越远,就越发现最普遍的定律是最简单的。
这就是我的态度
I believe in the power of intention and love.