张胜誉

腾讯公司

讲者简介：张胜誉，腾讯杰出科学家，腾讯量子实验室创建者和负责人，原香港中文大学终身教授。复旦数学系本科，清华计算机系硕士（师从应明生教授），普林斯顿大学计算机系博士（师从姚期智教授），加州理工学院博士后(师从John Preskill及 Leonard Schulman教授)。研究领域为量子信息处理，理论计算机科学，人工智能基础及在物理、化学、生物医药等方面的应用。在相关领域顶级期刊和会议上发表百余篇文章；于多个国际期刊/会议中任编委/程序委员。2018年加入腾讯后致力于推动公司在量子算法及量子系统基础理论的研究，相关软件和系统的研发，以及在信息处理，制药，材料等行业应用的探索。

报告题目：变分量子算法分析探索

报告摘要：变分量子算法利用强大的经典算力来训练含参量子电路中的参数，被寄予希望能够在容错量子算法实现之前实现量子计算的优势。但是变分量子算法面临很多挑战，包含梯度估计，贫瘠高原，硬件和采样噪声，电路结构设计等。本报告介绍近年来行业中出现的用代数的方式来理解变分量子算法的探索。

朱晓波

中国科学技术大学

讲者简介：朱晓波，中国科学技术大学教授。2003年在中科院物理所获得博士学位，之后留所工作；2008年加入日本基础物性研究所；2013年回国进入中科院物理所；2016年加入中国科学技术大学。主要从事超导量子计算以及超导约瑟夫森结系统的研究。在磁通量子比特与金刚石中的NV色心的量子混合系统上做出了一系列的重要工作。先后创造了超导量子比特最大纠缠数目纪录。研制了超导量子计算原型机“祖冲之号”，实现了“量子优越性”。

报告题目：超导量子计算进展

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

冯元

清华大学

讲者简介：冯元，清华大学计算机系教授，主要研究方向为量子计算与量子程序理论。曾任悉尼科技大学量子软件与信息中心教授，获2010年澳大利亚研究理事会Future Fellow。现任ACM Transactions on Software Engineering and Methodology编委。

报告题目：基于量子马尔可夫链的模型检测技术

报告摘要：量子程序设计是量子软件发展的核心，也是发挥量子计算机超强运算能力的关键。然而，量子力学的反直觉特性使得如何设计正确高效的量子程序和量子通信协议成为一个富有挑战性的课题。形式化验证方法，特别是模型检测技术已经在经典软件设计和系统建模方面被证明行之有效。本报告将介绍一种描述量子程序的Markov链语义模型，并讨论如何定义经典时序逻辑的量子推广，以及构造有效算法检测量子程序的分支和线性时序性质。

王鑫

香港科技大学（广州）

讲者简介：王鑫，香港科技大学（广州）人工智能学域副教授，国家高层次青年人才，主要从事量子信息与量子人工智能的研究。他之前于百度研究院量子计算研究所任职资深研究员与技术骨干，带领团队开发量子机器学习平台量桨。在加入百度前，他作为Hartree Fellow在美国马里兰大学量子信息与计算机科学联合中心从事量子计算研究。他于2018年在悉尼科技大学获得博士学位，获评校长杰出博士论文并入选教育部国家优秀自费留学生奖学金。他在PRL、IEEE TIT、npj Quantum Information、Quantum、NeurIPS、AAAI等物理、计算机、人工智能领域的顶级期刊与顶级会议发表60余篇论文，在量子计算顶会QIP、TQC、AQIS作口头报告二十余次，并在2020年受邀在量子计算顶会TQC作主旨报告。他目前担任《Quantum》国际学术期刊的编委，并入选AI华人青年学者榜(AI+X)与斯坦福大学发布的全球前2%顶尖科学家榜单。

报告题目：基于半正定优化的量子信息与计算研究

报告摘要：量子信息理论为研究量子计算、量子通信和量子机器学习等前沿科技领域提供了坚实的理论基础，本报告旨在从信息论和优化理论的视角探讨量子信息理论的基础知识与核心概念。报告将重点讨论如何应用半正定优化技术研究量子信息与量子计算领域的一系列关键问题和任务，包括但不限于量子态分辨、量子纠缠量化、量子信道容量估计以及量子算法设计。此外，本报告还将展望优化理论与量子信息理论在量子信息科学研究中的最新进展和未来方向，以期带来启发。

李绿周

中山大学

讲者简介：李绿周，中山大学计算机学院教授、博导、量子计算与软件研究所所长、计算机科学系主任、中国计算机学会（CCF）量子计算专委副主任、CCF理论计算机专委常务委员、CCF杰出会员、CCF杰出演讲者(2019、2021、2022、2023年度）。长期从事量子计算理论研究，主要研究兴趣为量子算法、量子计算模型、量子电路编译与优化、量子机器学习等，在SODA，IANDC, JCSS, TCS, IEEE TIT/TFS/TIFS，PRA，NJP等学术期刊及会议发表论文80余篇，出版学术专著1部。

报告题目：量子算法初探

报告摘要：量子计算机的“有用性”有赖于量子算法，只有对一些代表性量子算法有所理解才能更深刻地体会到量子计算的特点与巧妙性。本报告通过详细讲解量子计算领域几个代表性量子算法，带领初学者快速体验量子计算的强大并行计算能力。具体来说，我们首先会介绍量子算法的一些背景知识，然后详细讲解Deutsch-Jozsa算法、Grover算法和Shor算法，最后自然地引出量子查询模型。

高飞

北京邮电大学

讲者简介：高飞，男，北京邮电大学教授，国家级青年人才，中国密码学会常务理事，中国计算机学会量子计算专业委员会常务委员，中国电子学会网络空间安全专家委员会委员。2007年毕业于北京邮电大学，获密码学博士学位。主要研究量子密码、量子算法和相关量子信息问题，已在PRL/PRA、TKDE、TC、JSAC等重要期刊发表论文100余篇，SCI总他引4800余次，H因子47。入选斯坦福大学“2022全球前2%科学家榜单”、爱思唯尔2020-2023年中国高被引学者。

报告题目：量子计算在密码分析中的应用

报告摘要：由于量子态的叠加性和量子操作的并行性，量子计算机相比于经典计算机在某些计算问题上具有显著的速度优势。Shor、Grover等著名量子算法可被应用在密码分析中，对当前密码体制形成严重威胁。本报告将综述量子计算密码分析领域的相关进展，包括量子计算对公钥密码、分组密码、Hash函数的影响，并对Bernstein-Vazirani、Simon、BHT算法给出较为详细的介绍。