【国民娱乐每日礼金gm777.top,香港彩票|手机app下载中大奖】我们为您提供香港彩票|手机app下载注册,香港彩票|手机app下载投注,香港彩票|手机app下载app,香港彩票|手机app下载平台,巨华彩票开户,充提快速,操控简单,为香港彩票|手机app下载彩民服务!

9月18日:應明生
發布時間:2019-09-11  閱讀次數:1061

報告題目:Reasoning about Parallel Quantum Programs: Some New Results.

報告人:    應明生 悉尼科技大學杰出教授

主持人:    鄧玉欣 教授

報告時間:2019年918日 周10:00-11:00   

報告地點:理科大樓B1002

 

報告摘要:

We initiate the study of parallel quantum programming by defining the operational and denotational semantics of parallel quantum programs. The technical contributions of this paper include: (1) finding a series of useful proof rules for reasoning about correctness of parallel quantum programs; (2) proving a (relative) completeness of our proof rules for partial correctness of disjoint parallel quantum programs; and (3) proving a strong soundness theorem of the proof rules showing that partial correctness is well maintained at each step of transitions in the operational semantics of a general parallel quantum program (with shared variables). This is achieved by partially overcoming the following conceptual challenges that are never present in classical parallel programming: (i) the intertwining of nondeterminism caused by quantum measurements and introduced by parallelism; (ii) entanglement between component quantum programs; and (iii) combining quantum predicates in the overlap of state Hilbert spaces of component quantum programs with shared variables. Applications of the techniques developed in this paper are illustrated by a formal verification of Bravyi-Gosset-König’s parallel quantum algorithm solving a linear algebra problem, which gives for the first time an unconditional proof of a computational quantum advantage.

 

 

報告人簡介:

應明生教授是悉尼科技大學杰出教授(UTS Distinguished Professor)和中科院軟件所學術副所長。他曾是清華大學計算機科學與技術系教授、博士生導師、教育部“長江學者獎勵計劃”特聘教授、智能技術與系統國家重點實驗室學術委員會主任。1994年被人事部批準為中青年有突出貢獻專家,獲第4屆中國青年科技獎,1997年獲國家杰出青年科學基金,入選教育部跨世紀優秀人才培養計劃。主要從事形式化方法、量子計算與量子信息、人工智能基礎理論等方面的科研工作,著有《Topology in Process Calculus》和《Foundations of Quantum Programming》兩本專著,在著名國際期刊和會議發表一百多篇論文。擔任Artificial Intelligence等刊物編委、International Fuzzy Systems Association副主席、復旦大學兼職教授、華東師范大學上海市高可信計算重點實驗室學術委員會成員。

 

華東師范大學軟件工程學院
www.davehass.com Copyright School of Software Engineering
院長信箱:yuanzhang@sei.ecnu.edu.cn | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
香港彩票|手机app下载