异彩纷呈——CCF量子计算大会特邀报告阵容确定

2022 年 7 月 30 日 量子位

即将于8月20-21日在郑州召开的首届CCF量子计算大会（CQCC 2022），邀请了领域内知名院士专家，从产业体系、研究现状、量子程序、后量子密码、量子优越性、离子量子计算和量子调控等方面为广大参会者作特邀报告。

CQCC 2022特邀报告嘉宾

陆军
中国工程院院士，中国电子科技集团公司首席科学家

简介：陆军，中国工程院院士，中国电子科技集团公司首席科学家。量子科技长三角产业创新中心主任，执行理事。陆军院士是我国预警机信息系统领域学术带头人。从事综合电子信息系统研究与重大型号工程研制30余年，在电子技术、信息系统与人工智能等领域有深厚的造诣。获国家科技进步特等奖、国防科学技术进步奖一等奖，中共中央、国务院、中央军委颁发的金质奖章，五一劳动奖章、光华工程科技奖、CCTV创新人物等荣誉。带领预警机团队获国家科技部“创新团队”称号。

题目：量子信息科技产业体系建设思考

摘要：随着现代信息技术的进一步发展，量子信息技术被普遍认为将引领新一代信息技术革命，引发一大批技术产业的革命性创新发展。我国第十四个五年规划也将“量子信息”列为国家战略性科技前沿领域。

发展量子信息科技，必须深入分析量子信息科技发展大势，深刻理解量子信息科技产业体系形成过程与构建量子信息科技产业体系的关键核心。

本报告阐述了量子信息技术发展态势，从科技体系、产业体系和制度体系出发阐述了对于建设量子信息科技产业体系的思考，运用“科学体系工程”方法，形成了发展科技产业体系的ABCPM模型，提出在量子信息科技产业发展的早期阶段就应当开始布局并形成以“工业软件+公共基准+工业母机”为核心的量子信息科技产业体系能力，才能抢占世界量子科技产业体系竞争制高点。

俞大鹏
中国科学院院士，APS Fellow，深圳国际量子研究院院长

简介：俞大鹏，中国科学院院士、APS Fellow，现任深圳国际量子研究院院长、南方科技大学物理系讲席教授，兼任中国电子学会量子信息分会主任委员、深圳电子学会理事长等。

俞大鹏教授长期从事低维纳米结构物理研究，是最早发现自下而上制备一维半导体纳米线和二维狄拉克量子材料表征方法的国际先驱之一，为低维量子材料的研究做出了重要贡献。近十几年来，其研究重心集中在对单根纳米线、单体量子结构的光电力热磁等物理性质的精确量子调控上，取得了一系列成果。其领导的研究团队对纳米线、石墨烯等单个微观结构的光电力热磁等物理性质的操控能力达到了新的高度。

题目：量子计算任重道远——量子行动在深圳

摘要：量子计算等相关量子科技已经成为国际强国间竞争的焦点，也成为了美国对我国进行全面技术封锁、设备禁运和人员来往阻断的高度限制领域，我国量子科技领域真正进入了“无人区”。该报告中，俞大鹏教授将对量子计算的发展现状、面临的挑战与机遇进行全面的分析，阐述我国在量子计算领域的研究基础和优势，针对目前情况提出一些政策建议等。

Mingsheng Ying（应明生）
中科院软件所研究员，清华大学长江学者特聘教授

简介：Mingsheng Ying is a Research Professor at the Institute of Software at the Chinese Academy of Sciences, and holds the Cheung Kong Chair Professorship at Tsinghua University. 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 Correct- ness and Infinite Evolution of Concurrent Programs (2001). He has served on the editorial board of several publications including Artificial Intelligence Journal. He is currently (Co)Editor-in-Chief of ACM Transactions on Quantum Computing.

题目：Quantum Hoare logic and its applications

摘要：In this talk, Prof. Ying will mainly discuss the program logic approach to verification of quantum programs, including quantum Hoare logic and its related problems (invariant generation and termination analysis for quantum programs). He’ll also briefly discuss its potential applications to other fields (e.g. verification of quantum cryptographic protocols, debugging of quantum programs). Some problems for future research will be proposed at the end of the talk.

丁津泰
清华大学丘成桐数学中心特聘教授

简介：丁津泰，毕业于耶鲁大学数学系并取得博士学位，目前任清华大学丘成桐数学中心教授，主要研究方向为密码学和计算代数。曾三次担任国际后量子密码学会议的联席主席，是后量子密码学领域的国际权威专家，相关工作发表在Journal of Cryptology、美密、欧密等密码领域顶级期刊会议。他参与设计的Kyber公钥加密算法算法，已正式成为美国后量子密码安全标准算法；此外，他主持设计了Rainbow数字签名算法。

题目：后量子密码：新一代的公钥密码安全体系

摘要：公钥密码学（PKC），始于20世纪70年代关于Diffie-Hellman协议和RSA问题的研究。在当今数字时代，公钥密码学有助于解决网络中的信任问题和数据安全问题，是互联网的安全基石。不过，1996年出现的Shor算法改变了这一切：我们需要新一代的公钥密码安全体系，即后量子密码学。经过近20年的发展，后量子密码学已初步成型，可基本满足我们对于安全性和效率的需求。基于此，美国率先开始制定后量子密码安全标准，并于近期公布了部分入选的标准算法，以便于进行后量子迁移工作。

本报告将介绍美国制定后量子密码安全标准的过程及其影响。此外，本报告还分析未来数十年后量子迁移工作中的巨大挑战。

单征
信息工程大学教授，CCF量子计算专业组副主任

简介：单征，信息工程大学教授、博导，主要研究方向为先进计算和网络安全。教育部计算机类教学指导委员会委员，中国计算机学会量子计算专业组副主任。获省部级科技进步一等奖2项，二等奖5项，CCF CNCC 技术创新奖1项，国家一流课程负责人。

题目：量子优越性悖论：问题的构造和验证

摘要：经典计算和量子计算正在“量子优越性”问题上相互“博弈”。继谷歌的悬铃木在随机线路采样问题上实现“量子优越性”后，我国的九章在高斯玻色采样问题、祖冲之在随机线路采样问题上也相继实现了“量子优越性”。神威超级计算机的量子计算模拟器（SWQSIM）又在304秒以内，得到百万更高保真度的关联样本，还可在60小时内完成比“悬铃木”复杂1000多倍的量子电路模拟。报告从可计算性视角分析这些“量子优越性”问题的原理和合理性，探索性地给出所谓的“优越性”问题的构造和验证思路。

段路明
清华大学基础科学讲席教授、姚期智讲座教授，美国物理学会会士

简介：段路明，1994(1998）年分别获中国科技大学学士（博士）学位，历任美国密歇根大学助理教授、副教授、教授、费米讲席教授，2018年全职回国任清华大学基础科学讲席教授、姚期智讲座教授。曾获饶毓泰基础光学奖、霍英东青年研究奖、美国斯隆研究奖、海外华人物理学会杰出研究奖等，2009年当选美国物理学会会士。

段路明从事量子计算和量子网络方向的研究，完成了量子信息领域的一些开创性工作，提出“DLCZ（Duan-Lukin-Cirac-Zoller）量子中继方案和网络量子计算方案，为实现长距离量子通信和可扩展量子计算奠定了基础。段路明在包括《现代物理评论》(2篇),《自然》(8篇)，《科学》(3篇)、《物理评论快报》 (50多篇)等国际重要学术刊物发表论文200余篇，论文迄今被谷歌学术引用33,000多次。

题目：离子量子计算进展

摘要：In this talk, Prof. Duan will review the recent progress on trapped ion quantum computing and networking, including the realization of large-scale quantum simulation of dynamics in Hubbard-type models beyond the classical simulation capability and the implementation of the dual-type qubits with crosstalk errors significantly below the error threshold, a key component for quantum error correction and fault-tolerant quantum computing.

于扬
南京大学物理学院教授

简介：于扬，南京大学物理学院教授。主要研究领域是超导量子计算和超导器件，是国际上最早开展超导量子计算实验研究的成员之一。2002年首次实验观测到超导相位量子比特中的量子相干振荡，论文（第一作者）发表在Science上，诺贝尔物理学奖获得者莱格特评价其工作突破了超导量子比特退相干障碍。2010年率先演示了三个固态量子比特的相干调控。代表性工作还有在超导量子比特中观测到宏观量子系统的MACH-ZEHNDER干涉，量子几何相的LANDAU-ZENER干涉等宏观量子现象、利用超导量子比特模拟拓扑能带结构。已发表SCI论文100多篇，其中包括 Science 3 篇，Nature Communications 1 篇，Phys. Rev. Lett. 11篇。主持科技部重点研发计划项目在内的多项重大项目。

题目: 超导量子比特的快速绝热调控

摘要: 量子绝热演化具有稳定性好的特点，为量子计算和量子模拟提供了一个重要的调控工具。但是由于受到绝热条件限制，绝热演化一般时间较长，对于一些退相干时间较短的系统会降低调控保真度。我们采用优化受激拉曼过程和消除动力学相位两种不同方案分别实现了加速的绝热调控，在保持绝热演化稳定性的前提下，加快了调控速度，从而提高了保真度。我们的方案可以用于超导量子芯片的集成调控。

以上特邀报告的具体安排，请关注大会官网。重磅特邀报告之外，首届CCF量子计算大会同时设有10个覆盖软硬件、产业、教育等领域的专题论坛，并设有优秀论文/代表性工作分享环节。

大会同时开展征稿工作，优秀论文经评审可向如下期刊推荐：
《Frontiers in Physics》（SCI）
《Nanotechnology》（SCI）
《SPIN》（SCI）
《Quantum Engineering》（正刊）
《电子科技大学学报》（EI）
《激光与光电子学进展》（ESCI）
《计算机应用》
《北京工业大学学报（自然版）》
《量子电子学报》
《信息工程大学学报》
《郑州大学学报》
《计算机教育》
《软件导刊》

投稿截止日期：2022年8月7日
录用通知日期：2022年8月15日
会议日期：2022年8月20-21日
请登录以下会议投稿系统链接进行投稿（非CCF会员须注册）：
https://conf.ccf.org.cn/cqcc2022/paper（中文）
https://conf.ccf.org.cn/en/cqcc2022/paper（英文）

目前大会筹备工作接近尾声，欢迎广大对量子计算感兴趣的计算、物理等领域学者莅临“绿城”郑州，参加首届CCF量子计算大会，交流学术、探讨合作，共同见证和推动我国量子计算事业的发展。

CQCC 2022参会报名