最重要的是把你的愿景变成现实。
做出伟大工作的唯一方法就是热爱你所做的事。
I believe in the power of storytelling to change the world.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.