The challenge in model checking is not just to find errors, but to understand why they occur.
法官不是道德哲学家,也不应该试图成为道德哲学家。
The energy transition is not just about switching from fossil fuels to renewables. It's about providing reliable, affordable, and clean energy to a growing global population.
The simplicity of nature is not to be measured by that of our conceptions.
I believe in art as a form of education.