"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
When you can live forever, what do you live for?
We may be older now, but the passion for performing is still the same.
Chemistry is not just about mixing things in a flask. It's about understanding the world at a molecular level.