The only way to do great work is to love what you do.
You miss 100% of the shots you don’t take.
家不是你出生的地方;家是你所有逃离尝试停止的地方。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."