当你最不抱期望时,研究的坚持往往会带来回报。
I want to stand as close to the edge as I can without going over. Out on the edge you see all kinds of things you can't see from the center.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The only limit to our realization of tomorrow will be our doubts of today.