The boundary between the quantum world and our everyday experience is not as sharp as we once thought.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The future belongs to those who believe in the beauty of their dreams.
我认为生活中最重要的事情就是敢于梦想。