The task of the modern educator is not to cut down jungles, but to irrigate deserts.
现代教育者的任务不是砍伐丛林,而是灌溉沙漠。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The strength of a company lies in the integrity of its materials and its people.《Leadership in Extraction》
I like to work with actors who are willing to take risks.