"Writing is the only thing that, when I do it, I don't feel I should be doing something else."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The only limits we have are the ones we set for ourselves.
True leadership in aggregates means balancing productivity with planetary responsibility.