"Good research is about asking the right questions, not just applying fancy methods."
好的研究在于提出正确的问题,而不仅仅是应用花哨的方法。
The future of computing lies in the development of systems that can verify their own correctness.