报告题目： Reasoning about parallel quantum programs

报告人：应明生 教授

主持人：邓玉欣

报告时间：2017年6月20日 10:00—11:30

报告地点：中北校区理科大楼B1002

报告摘要：

        We initiate the study of parallel quantum programming by defining the execution models of parallel quantum programs with shared variables and establishing a series of proof rules for reasoning about their correctness. In this talk, we will discuss the major challenges in parallel quantum programming that are not present in classical parallel programming: (1) Nondeterminism caused by quantum measurements; (2) Entanglement between different processes; (3) Joint predicates in the overlap of state Hilbert spaces.

报告人简介：

        先后任清华大学计算机科学与技术系特聘教授、智能技术与系统国家重点实验室学术委员会主任，University of Technology Sydney的Distinguished Professor、Centre for Quantum Software and Information的Research Director. 2016年开始担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。

        应明生的研究兴趣是量子计算，程序设计理论和人工智能的基础。他是“Foundations of Quantum Programming”（Elsevier - Morgan Kaufmann 2016）和“Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs”（Springer-Verlag，2001）的作者。近10年来，他致力于系统地建立量子程序设计的理论基础，包括能够发挥量子计算特有优势的程序设计模型、量子程序的分析与验证方法。