The most important skill for a computer scientist is problem-solving.
钱不说话，它咒骂。
每幅画都是自画像，即使它不是。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Success is not just about what you achieve, but how you achieve it.