没有大胆的猜测,就没有伟大的发现。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
Science is about understanding the world, and engineering is about changing it.
"I always try to make movies that are entertaining, but also have something to say."