Skip to main content
DA
/
EN
Students
itslearning
Access to your courses
mySDU
For students at SDU
SDUmail - Webmail service
Outlook Web Mail
SDU Student Self-Service
Course registration, exams and results
Library
See your status, reservations and renew loans
DigitalExam
Login to DigitalExam
Employees
itslearning
SDU's e-learn platform
SDUNet.dk
SDU's intranet
DigitalExam
Login to DigitalExam
Find
Find person
Search for contact information on employees
Directory
Finding your way at the University of Southern Denmark
Faculty of Science
Students
itslearning
Access to your courses
mySDU
For students at SDU
SDUmail - Webmail service
Outlook Web Mail
SDU Student Self-Service
Course registration, exams and results
Library
See your status, reservations and renew loans
DigitalExam
Login to DigitalExam
Employees
itslearning
SDU's e-learn platform
SDUNet.dk
SDU's intranet
DigitalExam
Login to DigitalExam
Find
Find person
Search for contact information on employees
Directory
Finding your way at the University of Southern Denmark
Start page
Login
Reset default page
Set as default page
DA
/
EN
University of Southern Denmark, SDU
University of Southern Denmark, SDU
Centre for Quantum Mathematics
About
QM Quantum computing initiative
QMs collaboration with Novo Nordisk and Qpurpose
Quantum Mathematics for Finance: QM, Jyske Bank and Qpurpose
European Research Center: The Quantum Excellence Centre
Quantum Computing for Modelling Climate
Building scalable continuous variable cluster state quantum technologies
QC Clinical Research
Danish quantum communication infrastructure
Topological Quantum Computing
Qpurpose: a Spin-off from QM
Quantum Hardware collaborations
Research
Vacant positions
Employees
Events
QM Masterclass 2026
ReNewQuantum 2025
Niels Bohr Quantum Summer School 2026
Mathematics for the Real World 2026
Quantum computing to business
Contact
News
New research grant for the development of future quantum programming
SDU and QM is part of a Quantum-proof network in the QCI.dk project
QM research collaborator receives honorary doctorate from SDU
Welcome to Fabian Haiden
Search
Find person
Find your way to SDU
Search
SDU
Research
Centre for Quantum Mathematics
Events
QM Masterclass 2026
Mingsheng Ying - Model Checking Quantum Systems: An Introduction
Date
Monday, August 3, 2026 - Friday, August 7, 2026
Price
Location
Share
SDU
Research
Centre for Quantum Mathematics
Events
QM Masterclass 2026
Mingsheng Ying - Model Checking Quantum Systems: An Introduction
Who:
When:
Monday, August 3, 2026 at00:00 -Friday, August 7, 2026at00:00
Duration:
Where: