Skip to main content
DA / EN

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

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

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‑Editor‑in‑Chief 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