形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I like to work with actors who are willing to take risks and explore new territories.
凡是合乎理性的都是现实的，凡是现实的都是合乎理性的。
We are all born mad. Some remain so.
The best mathematics is timeless.
改变世界的唯一方法是改变自己。
The greatest cruelty is our casual blindness to the despair of others.