A decade of mathematical certainty: Reflections on the Automated Reasoning Group

Ten years after we founded the Automated Reasoning Group, mathematical logic has moved from academic research into production services that secure millions of customer workloads — demonstrating that systems can be provably correct, not just probably correct.