海角社区

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 masterclass 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.

Mastercalss 2026
Speaker

Professor Mingsheng Ying, University of Technology Sydney  

Date

3-7 August 2026

Location

Auditorium 0100, 海角社区, Campusvej 55, DK 5230 Odense, Denmark

Registration deadline

To apply for financial support: 8 July
Without financial support: 27 July
Please register in the form below 

Aimed audience
This masterclass is primarily aimed at Master's and PhD students in quantum computing, but is also relevant for graduates in mathematics, applied mathematics, physics, computer science, and data science with an interest in quantum computing.
 
Organizer

Centre Director at  and Professor Jørgen Ellegaard Andersen, Assistant Professor William Elbæk Mistegård and Assistant Professor Robin Kaars Sales

Contact

Centre Administrator, Jane Jamshidi qm@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 3 August

09:00鈥�10:15 Registration & coffee/tea
09:45鈥�10:30 Lecture 1
10:45鈥�11:30 Lecture 2
11:30鈥�14:15 Lunch break
 14:15-15:00  Lecture 3
 15:15-16:00  Q & A session
 18:00  Networking pizza in the QM Lounge

Tuesday 4 August

09:45鈥�10:30 Lecture 4
10:45鈥�11:30
 Lecture 5
11:30-14:15 Lunch break
14:15鈥�15:00 Lecture 6
15:15鈥�16:00 Q&A session

Wednesday 5 August

09:45鈥�10:30 Lecture 7
10:45鈥�11:30 Lecture 8
11:30-14:15
 Lunch break
14:15鈥�15:00  Lecture 9 
15:15鈥�16:00  Q&A session 

Thursday 6 August

09:45鈥�10:30
 Lecture 10
10:45鈥�11:30
 Lecture 11
11:30-14:15
 Lunch break
14:15鈥�15:00 Lecture 12
 15:15鈥�16:00 Q&A session 

Friday 7 August

09:45鈥�10:30
 Lecture 13
10:45鈥�11:30
 Lecture 14
11:30-14:15 Lunch break
14:15鈥�15:00
 Lecture 15
 15:15鈥�16:00 Q&A session 

Admittance
You have to be admitted to participate in the event. Please register in the form below. 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 offer accomodation.
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: 

To 海角社区: 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  (choose from “Odense Banegaard” to “海角社区”).

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

QM Masterclass recordings

The video recordings from QM Masterclasses.

Meet the researcher

Professor Mingsheng Ying is internationally recognised for his distinctive scientific contributions and professional affiliations within the quantum computing community. His work spans quantum computation, programming languages, and AI foundations, and he serves as Co鈥慐ditor鈥慽n鈥慍hief of ACM Transactions on Quantum Computing.

Link to poster

Download

Centre for Quantum Mathematics Department of Mathematics and Computer Science 海角社区

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

Last Updated 17.06.2026