現在位置:首頁 > 學術會議
【2022.01.10-01.10 北京&騰訊會議】 量子计算前沿论坛
2021-12-30 | 编辑:

 

 

主辦方:中國科學院數學與系統科學研究院 

時 間:2022110

線 下:數學院南樓219

直播地址:騰訊會議172 320 073

https://www.koushare.com/lives/room/887483

特邀報告人:應明生  中國科學院軟件研究所

      朱曉波  中國科學技術大學

      強曉剛  軍事科學院國防科技創新研究院

      鄧東靈  清華大學

會議組織: 尚雲 骆顺龙 陸汝钤

會議日程:

8:30-8:40

開幕式

主持人

8:40-9:25

應明生

Model Checking for Verification of Quantum Circuits

陸汝钤

9:25-10:10

朱曉波

超導量子計算

10:10-10:20

茶歇

 

10:20-11:05

強曉剛

矽基集成光學量子計算技術與進展

尚雲

11:05-11:50

鄧東靈

Some Recent Advances in Quantum Artificial Intelligence

 

 

 













會議詳情:

 

1.    應明生

 

報告題目/ Presentation TitleModel Checking for Verification of Quantum Circuits

 

摘要/Abstract: In this talk, I will describe a framework for assertion-based verification of quantum circuits by applying model checking techniques for quantum systems developed in our previous work, in which:

(1) noiseless and noisy quantum circuits are modelled as quantum automata and quantum Markov chains, respectively, and they are further represented by tensor networks;

(2) Quantum assertions are specified by a temporal extension of Birkhoff-von Neumann quantum logic;

(3) Algorithms for reachability analysis and model checking of quantum circuits are developed based on contraction of tensor networks.

 

報告人簡介/Brief Bio: Mingsheng Ying is Research Professor at the Institute of Software at the Chinese Academy of Sciences, and holds the Cheung Kong Chair Professorship at Tsinghua University, China. He was Distinguished Professor and Research Director of the Center for Quantum Software  and Information at the University of Technology Sydney, Australia. His research interests include quantum computation, theory of programming languages, and logics in AI. He has published books: Model Checking Quantum Systems: Principles and Algorithms (2021) (with Yuan Feng), Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001). He has served on the editorial board of several publications including Artificial Intelligence Journal. He is currently Editor-in-Chief of ACM Transactions on Quantum Computing


2. 朱曉波

 

報告題目/Presentation Title:超導量子計算

 

摘要/Abstract由于量子计算在某些问题的处理能力上相比于经典计算机有着压倒性的优势,被普遍认为是下一代的计算技术,因而引起了广泛的关注。超导方案因具有良好的可扩展性就,目前备受关注,各大公司纷纷投资进入该领域。本次报告将主要讲解超導量子計算的现状及近期和中远期目标,并介绍我们在该方向上取得的一系列进展。

 

報告人簡介/Brief Bio朱曉波,中国科学技术大学教授。主要从事超導量子計算以及超导约瑟夫森结系统的研究。在磁通量子比特与金刚石中的NV色心的量子混合系统上做出了一系列的重要工作。先后创造了超导量子比特最大纠缠数目纪录。研制了超導量子計算原型机祖沖之號,實現了量子優越性

 

3     強曉剛

報告題目/ Presentation Title:矽基集成光學量子計算技術與進展

 

摘要/Abstract:量子計算是建立在量子力學上的新型計算模型,在許多領域應用具有超越經典計算的巨大潛力。光量子芯片技術采用傳統微納加工工藝在單個芯片上集成大量光學器件,具有高集成度、高精確度、高穩定性等優勢,是實現可實用化光量子計算的有效途徑。矽基集成光學技術具有非線性效應強、集成密度高、CMOS可兼容等優點,爲實現大規模集成光量子計算芯片提供了理想的技術平台。基于矽基集成光學技術,片上的糾纏光子源、高精度單光子操控、通用線性光學網絡等都已得到了實驗驗證。我們基于矽基集成光學技術,面向規模化可編程光量子計算芯片技術開展了系統性研究,設計實現了高精度片上馬赫澤德幹涉儀、可編程通用兩比特光量子計算芯片、圖論問題專用可編程光量子計算芯片,以及哈密頓量含時演化高效模擬光量子計算芯片,並基于芯片研制實現了軟硬件一體集成光學量子計算實驗原型系統,進行了一系列量子算法應用與實驗研究。這些結果顯示了矽基集成光學技術實現未來大規模光量子計算的巨大潛力。

 

報告人簡介/Brief Bio強曉剛,英国布里斯托大学博士,军事科学院国防科技创新研究院研究員,北京量子信息科学研究院兼聘研究員,研究生导师,入选国防科技卓越青年科学基金、国家海外高层次人才计划青年项目、国家特殊领域青年人才托举工程等项目资助。2009年本科畢業于北京大學電子學系,2012年碩士畢業于國防科技大學計算機學院,2017年獲得英國布裏斯托大學物理博士學位。長期從事集成光學量子計算領域研究,發表SCI論文20余篇,包括以第一/通信作者在Nature PhotonicsScience AdvancesNature Communications等国际期刊发表論文,代表性成果包括国际首个通用两比特光量子计算芯片、图论问题专用可编程光量子计算芯片等。

 

4        鄧東靈

 

報告題目/ Presentation TitleSome Recent Advances in Quantum Artificial Intelligence

 

摘要/Abstract: Quantum artificial intelligence (Quantum AI) is an emergent interdisciplinary field that explores the interplay between artificial intelligence and quantum physics. On the one hand, judiciously designed quantum algorithms may exhibit exponential advantages in solving certain AI problems; on the other hand, ideas and techniques from AI can also be exploited to tackle challenging problems in the quantum domain. In this talk, I will first make a brief introduction to this field and review some recent progresses. I will talk about several concrete examples to illustrate how AI and quantum physics can promote studies in both fields. At the end of the talk, I will pose some fundamental challenges facing quantum AI that, if overcome, would give a significant boost to this fledgling field full of uncertainties and opportunities.

 

報告人簡介/Brief BioDong-Ling Deng is an assistant professor at the Institute for Interdisciplinary Information Sciences, Tsinghua University. He graduated from Nankai University with two Bachelor degrees, one in physics and the other in mathematics. He then studied at the Chern Institute of Mathematics and got a master degree in theoretical physics. After that, he moved to the University of Michigan and obtained his Ph.D. in physics, with thesis awarded “the Kent M. Terwilliger Memorial Thesis Prize”. He did his postdoctoral work as a JQI (Joint Quantum Institute) postdoctoral fellow at the University of Maryland. Prof. Deng’s current research interest mainly concerns quantum artificial intelligence.

 

 

 

 

附件下載:
 
 
【打印本頁】【關閉本頁】
電子政務平台   |   科技網郵箱   |   ARP系統   |   會議服務平台   |   聯系我們   |   友情鏈接