"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The future is not something we enter. The future is something we create.
我相信讲故事的力量可以改变世界。
A long habit of not thinking a thing wrong gives it a superficial appearance of being right.
Never stop learning because the world never stops changing.
A poet's work is to name the unnameable, to point at frauds, to take sides, start arguments, shape the world, and stop it going to sleep.
每一个挑战都是伪装的机遇。