Speaker

   冯元 副教授，Tsinghua University, China and University of Technology,Sydney, Australia

　　Title

   Model checking quantum Markov chains                      

　　Time

　　2013.5.23 11:00am                                  

　　Venue

　　S712

　　Abstract

We introduce a novel notion of quantum Markov chain, specially suited to model quantum programs and quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

　　Affiliation