Michael Naehrig

In mathematics, a proof not only demonstrates that a statement is true; it also allows others to confirm its correctness by verifying the argument. This talk highlights two places where the same “prove and verify” principle is applied to build...