Foundations of Quantum Programming

Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University. He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing. He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).

1. Introduction Part I Preliminaries 2. Quantum Mechanics 3. Models of Quantum Computation 4. Quantum Algorithms Part II Sequential Quantum Programs 5. Quantum While-Programs 6. Quantum Hoare Logic 7. Analysis of Quantum Programs Part III Parallel and Distributed Quantum Programs 8. Parallel Quantum Programs 9. Distributed Quantum Programs Part IV Quantum Control Flows 10. Quantum Case Statements 11. Quantum Recursion Part V Programming for Quantum Machine Learning 12. Quantum Machine Learning 13. Differential Quantum Programming Part VI Appendices Appendix I: Omitted Proofs in Chapter 5 II: Omitted Proofs in Chapter 7 III: Omitted Proofs in Chapter 10