The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The human brain consists of many specialized circuits that evolved to solve specific problems our ancestors faced during our evolutionary history.
当好奇心遇上严谨的方法论，科学就会蓬勃发展。
预测未来的最好方式就是创造未来。
You have to be able to laugh at yourself, to not take yourself too seriously.