Foundations of Quantum Programming Lecture

Lecture
Professor Mingsheng Ying is internationally recognised for his contributions to quantum computing, quantum programming, and quantum software verification. He is a Distinguished Professor at the UTS Centre for Quantum Software and Information at the University of Technology Sydney.

His research interests include quantum computation, programming language theory, quantum program semantics, verification, and the foundations of quantum software.

Professor Ying is Co-Editor-in-Chief of ACM Transactions on Quantum Computing and has served in editorial roles for several leading journals and conferences.

Abstract
Recent advances in quantum hardware have brought the field from prototype devices to increasingly practical platforms.

To fully realise the potential of quantum computing, quantum programming and software-development technologies will play a crucial role.

This lecture series systematically introduces the theoretical foundations of quantum programming, including operational and denotational semantics, quantum program logics with an emphasis on quantum Hoare logic, verification and analysis of quantum programs, and quantum recursive programming.

The lectures will also discuss open problems that may inspire future research in quantum programming.