Abstract
This will be an introductory talk to self-testing as an approach to certifying quantum systems. The theory of self-testing has developed significantly in recent years. It has found applications to quantum cryptography, to characterizing the complexity of multiprover interactive proofs with entangled provers, as well as connections to foundational questions about quantum correlation sets and entanglement. In this talk, I will discuss the model, the assumptions, some common techniques, applications, and open questions.