做出伟大工作的唯一途径是热爱你所做的事。
“完全”为了对“不全”的爱,把自己装饰得美丽。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
The future of computing lies in harnessing the strange and counterintuitive properties of quantum mechanics.