Mingsheng Ying (Sydney University of Technology), Yuan Feng (Sydney University of Technology)

Model Checking Quantum Systems

• Gebundenes Buch

Produktbeschreibung

This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 222
• Erscheinungstermin: 4. Februar 2021
• Englisch
• Abmessung: 250mm x 175mm x 17mm
• Gewicht: 520g
• ISBN-13: 9781108484305
• ISBN-10: 1108484301
• Artikelnr.: 60020593

Autorenporträt

Mingsheng Ying is Distinguished Professor in the Centre for Quantum Software and Information, University of Technology Sydney; Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; and Cheung Kong Chair Professor in the Department of Computer Science and Technology, Tsinghua University. His research interests are quantum computing, programming theory, and logics in artificial intelligence. He is the author of the books Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001). Currently, he serves as (Co-)Editor-in-Chief of ACM Transactions on Quantum Computing.

Inhaltsangabe

1. Introduction
2. Basics of Model Checking
3. Basics of Quantum Theory
4. Model Checking
5. Model Checking Quantum Markov Chains
6. Model Checking Super-operator-valued Markov Chains
7. Conclusions and Prospects.