QM Masterclass: Model Checking Quantum Systems - An Introduction

Speaker: Mingsheng Ying (University of Technology Sydney) [nl]
[nl]
The masterclass takes students on a step-by-step journey from classical to quantum verification:[nl]

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

Why attend?[nl]

• Gain exposure to frontline research[nl] 
• Meet and interact with leading international scholars[nl]
• Strengthen your academic and professional network[nl]
• Get inspiration for your own studies and future career paths[nl]
• [nl]