Skip to main content
DA / EN
DA / EN

Search

QM Masterclass: Mingsheng Ying - Model Checking Quantum Systems: An Introduction

How do we verify systems when the very rules of reality begin to change? This thesis sets out on a journey from the familiar terrain of classical model checking into the strange and rapidly evolving world of quantum systems. We begin with the essential tools that have made automated verification possible in classical computing, before venturing into the principles of quantum computing and the dynamics of quantum Markov models. Ultimately, we arrive at the frontier: algorithmic techniques for model checking quantum Markov chains, where uncertainty, superposition, and probability intertwine in entirely new ways.

Speaker
Professor Mingsheng Ying, University og Technology Sydney  
Date
3-8 August 2026 
Location

D-IAS Auditorium, University of Southern Denmark, Campusvej 55, DK 5230 Odense, Denmark

Registration deadline

To apply for financial support: xxx
Without financial support: xxx
Please register in the form below (the masterclass is held!) ????

Aimed audience

Master students in mathematics and mathematical physics.

Organizer

Centre Director Jørgen Ellegaard Andersen, Centre for Quantum Mathematics

Contact

Centre Administrator, Jane Jamshidi, jaja@sdu.dk

In this series of lectures, we start from the basics of classical model checking techniques. Then, we introduce the basic ideas of quantum computation and quantum Markov models. Finally, we will introduce the algorithms for model checking quantum Markov chains.

Monday 1 August

10:15‐11:00 Formal calculus and definition of VOA, modules, fields and intertwiners (1/3)
11:15‐12:00 Formal calculus and definition of VOA, modules, fields and intertwiners (2/3)
14:15‐15:00 Formal calculus and definition of VOA, modules, fields and intertwiners (3/3)
15:15‐16:00 Illustrating these in the simplest examples of free field theories ‐ free boson, free fermion, symplectic boson and symplectic fermion (1/2)

Tuesday 2 August

10:15‐11:00 Illustrating these in the simplest examples of free field theories ‐ free boson, free fermion, symplectic boson and symplectic fermion (2/2)
11:15‐12:00 Finiteness conditions (Zhu's algebra and associated varieties) and their implications to representation theory (1/2)
14:15‐15:00 Finiteness conditions (Zhu's algebra and associated varieties) and their implications to representation theory (2/2)
15:15‐16:00 Affine Lie algebras and WZW theories with a focus on admissible levels (1/5)

Wednesday 3 August

10:15‐11:00 Affine Lie algebras and WZW theories with a focus on admissible levels (2/5)
11:15‐12:00 Affine Lie algebras and WZW theories with a focus on admissible levels (3/5)
14:15‐15:00 Affine Lie algebras and WZW theories with a focus on admissible levels (4/5)
15:15‐16:00 Affine Lie algebras and WZW theories with a focus on admissible levels (5/5)

Thursday 4 August

10:15‐11:00 W‐algebras (1/2)
11:15‐12:00 W‐algebras (2/2)
14:15‐15:00 Cosets and Orbifolds (1/2)
15:15‐16:00 Cosets and Orbifolds (2/2)

Friday 5 August

10:15‐11:00 VOAs in physics, geometry and topology (1/4)
11:15‐12:00 VOAs in physics, geometry and topology (2/4)
14:15‐15:00 VOAs in physics, geometry and topology (3/4)
15:15‐16:00 VOAs in physics, geometry and topology (4/4)

Admittance
You have to be admitted to participate in the event. If we cannot verify your affiliation and that you will scientifically benefit from the event, you will be asked to supply documentation.

Included
There is no participant fee.
Included in the event is Monday-Friday lunch + 2 x coffee/tea (mornings/afternoons).

Financial support
You can apply for support for the accommodation. Apply via the registration form below. We will prioritize junior researchers without other means of funding. We are unfortunately not able to offer support for the travel expenses.

Accommodation
We recommend the affordable Hotel Cabinn, which is located right next to the train station (SDU agreement is DKK 412 per night + breakfast. This price may increase by 1-3%).
Alternatively there are many Airbnb options in Odense.

Travel restrictions
There are currently no covid-19 restrictions to enter Denmark. You can see the official updated information here: https://en.coronasmitte.dk/travel-rules/covidtravelrules

Directions
To Odense: You can fly to Copenhagen Airport (CPH) or Billund Airport (BLL) both have 1½ to 2 hours travel time to Odense. From CPH there is a train option directly from the airport to Odense and from BLL all travel to Odense is with min. 1 transfer (bus + train). You can find the connections at: https://rejseplanen.dk/

To SDU: from Odense train station (20 min. by light rail ‘Letbane’ / 5 km): the interval between the rides is 7,5 min. during rush hours and 15 min.  the rest of the day. Tickets can be purchased at the ticket automat at Odense train station & online https://webshop.fynbus.dk/ (choose from “Odense Banegaard” to “SDU”).

At SDU: download the app 'SDU Maps' or search SDU Maps online and enter 'DIAS Auditorium' or 'V24-501a-0'. After admittance to the event you will also receive a pdf-version of the SDU map via email.

QM Masterclass recordings

The video recordings from "QM Masterclass: VOA – Vertex Operator Algebras" are available on our YouTube channel.

Go to YouTube channel

Meet the researcher

Thomas Creutzig is an Associate Professor at Department of Mathematical and Statistical Sciences, University of Alberta (Canada).

Contact

Link to poster

Download

Centre for Quantum Mathematics Department of Mathematics and Computer Science University of Southern Denmark

  • Campusvej 55
  • Odense M - DK-5230
  • Phone: +45 6550 7359

Last Updated 10.06.2026