QM Masterclass: Model Checking Quantum Systems - An Introduction by Mingsheng Ying (University of Technology Sydney)

The masterclass takes students on a step-by-step journey from classical to quantum verification:

• Starts with classical model checking - the methods used to automatically verify complex computational systems
• Moves into quantum computing fundamentals - introducing core concepts like superposition and quantum dynamics
• Introduces quantum Markov models - mathematical frameworks to describe probabilistic quantum systems
• Culminates in algorithms for verifying quantum systems - especially quantum Markov chains, where uncertainty and probability behave in fundamentally new way