6月20日:应明生
发布时间:2017-06-16  阅读次数:1698

报告题目: 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年来,他致力于系统地建立量子程序设计的理论基础,包括能够发挥量子计算特有优势的程序设计模型、量子程序的分析与验证方法。

华东师范大学计算机科学与软件工程学院
www.sei.ecnu.edu.cn Copyright School of Computer Science and Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼| 招聘信息