我训练，我专注，我准备，然后我相信我的训练。
I train, I focus, I prepare, and then I trust in my training.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
我不是榜样，我只是一个试图弄清楚一切的孩子。
Modularity based on abstraction is the way things ought to be done.
领导者要有远见，不仅要看到今天的市场，更要预见明天的趋势。
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的：它是关于理解的。
The best miners don't just follow seams of ore; they uncover opportunities others overlook.