An operator-algebraic formulation of self-testing Connor Paul-Paddock University of Waterloo November 16, 2022 PIRSA:22110100 Quantum Information