CCF软件大会2026|量子计算软件和算法论坛

一、论坛介绍

量子计算的发展不仅取决于量子比特数量、保真度等硬件指标，也离不开软件与算法体系的协同突破。量子软件和算法连接底层物理系统与上层计算任务，其作用主要体现在两个相辅相成的方面：一方面，面向量子计算系统的设计、管理与运行，通过量子设计自动化、编译优化、任务映射与调度、资源估算、错误缓解以及软硬件协同等技术，充分利用有限的量子资源，降低噪声和硬件约束对计算过程的影响，从而提高量子计算机的性能、可靠性和可用性；另一方面，面向材料设计、药物筛选、组合优化和人工智能等实际问题，研究适合在量子计算机上运行的模型、软件和算法，探索量子计算相对于经典计算的加速潜力、适用条件与优势边界。本报告将围绕"如何通过软件与算法提升量子计算系统能力"以及"如何利用量子计算加速实际问题求解"两条主线展开，系统介绍相关领域的研究进展、关键技术与应用探索，并探讨软硬件协同、量子-经典混合计算及跨领域融合的发展方向。通过交流与讨论，促进量子软件、算法、硬件与应用之间的协同创新，为量子计算走向实用提供新的思路。

二、论坛组织委员会

• 谭思危（浙江大学）
• 任文慧（浙江大学）

三、论坛安排

日程安排：

时间：2026年11月7日，15:20-18:20

地点：天津市社会山国际会议中心酒店，二层1号会议室

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：尹建伟 教授

题目：量子计算软件理论与体系结构研究及实践

摘要：随着量子芯片工艺和量子算法的快速发展与深入研究，量子计算机体系结构与软件作为一个新兴的研究方向，在得到越来越多人的关注。报告介绍浙江大学在量子体系结构与软件领域的理论研究与工程实践进展。在介绍量子计算机基本原理与体系的基础上，报告首先介绍超导量子计算机的QRAM实现方法，及量子随机存储器深度优化、误差传播机制。设计离线矩阵解耦与在线贪心策略协同解码算法，定制化设计加速器硬件架构，实现又准又快的高性能qLDPC解码器设计；针对中性原子丢失使后续门失效并污染多个测量结果问题，提出Loss Shadow方法，把原子丢失转化为可解释、可优化的结构，实现中性原子纠错的大幅加速。提出张量积迭代分解理论与波形动态缓存库技术，大幅度提升读取精度，同时将校准时延、波形传输时延大幅降低；围绕软件编译优化，提出基于电路拓扑特征与上下文结构的分析框架，框架基于向量化的电路表征方法，能够用于各类量子电路分析优化任务，可大幅提升电路分析精度、缩短电路综合时间。同时面向可满足性问题等问题，介绍量超融合的端到端量子加速技术、量子-经典混合的工作流性能分析方法等最新成果。

简介：浙江大学求是特聘教授，计算机学院院长、软件学院院长、宁波国际科创中心主任，国家杰出青年基金项目、国家重点研发计划项目、国家重大专项项目负责人，国家重点研发计划"文化科技与现代服务业"专项专家组副组长、"量智融合关键技术"专项专家组专家；国务院学科评议组成员、教育部软件工程教学指导委员会副主任、工信部工业互联网战略咨询委员会委员、世界数据组织（WDO）数据开源专业委员会主任委员、中国计算机学会服务计算专委原主任委员。长期从事量子计算、数智服务、软件工程等方向的研究，研制太元量子、榫卯生成式操作系统、国家高分网格平台、建木服务网络等多个大型软件及系统。牵头制定2项ISO国际标准、2项国家标准，出版学术专著5部、国家级规划教材/101教材3部、科普书1部，创办International Journal of Quantum Computer and Software期刊。获国家科技进步二等奖1项、省部级及全国学会科学技术一等奖8项、中国发明银奖1项，获10项国际会议/国际期刊的最佳/杰出论文奖，获IEEE TCSVC专委会2024年度Outstanding Leadership Award。

2. 报告人：诸葛晴凤 教授

题目：面向复杂优化问题的高保真可重构原子阵列量子计算系统软件技术

摘要：可重构中性原子阵列已经迈入单真空腔毫米级工作区域内实现百万级中性原子量子比特的规模，急需促成真实应用落地量子计算硬件体系的工具链，攻克这一垂直技术体系的关键难题。当前量子计算领域应用落地面临的核心瓶颈问题是：逻辑量子线路设计和量子硬件体系结构特性脱节，经典计算机系统EDA的技术路线难以处理各种量子硬件体系结构巨大的特性差异等。另一方面，产业界迫切需要各类经典计算架构难以求解的复杂优化问题的量子优势解决方案得到实现，并达到应用推广的水平。我们介绍一种高复杂度优化问题的高保真量子线路自动化探索技术QNAS和面向可重构中性原子阵列体系结构的量子线路深度优化和映射技术QuanKnight，探索高保真度中性原子量子计算应用的高效自动化解决方案。

简介：诸葛晴凤教授、博士生导师，复旦大学电子工程系本科、硕士，2003年美国德克萨斯大学达拉斯分校(UTD)计算机科学博士、硕士。曾任湖南大学、重庆大学教授、博导，现任华东师范大学智能系统与量子计算实验室负责人。实验室目前承担上海市未来学科领域建设--量子科技（包括量子信息和量子计算）学科未来五年的重要建设任务，承担上海市"科技创新行动计划"量子科学领域基础研究重点项目，国家自然科学基金高效能量子计算模拟项目，重点研究方向包括：量子计算系统EDA、量子线路编译优化、量子机器学习、量子计算模拟、多智能体大模型系统、人工智能加速设计、存算一体化系统结构、并行与分布式系统、调度与资源分配、软/硬件协同设计等。诸葛晴凤教授在国际重要学术会议及国际核心期刊上发表学术论文220多篇，其中包括80余篇的国际期刊论文，多次在国际学术会议获得最佳论文奖或最佳论文提名。据不完全统计，论文他引次数近3200余次，其中有多篇论文被国际知名学者引用。诸葛教授的研究成果已申请技术发明专利30多项，其中，国际专利8项。诸葛教授的研究获得国家科技部863计划、国家自然科学基金、上海市科委、华为等多个国家级、省部级、工业界研究项目的支持。

3. 报告人：岳涛 北京航空航天大学计算机学院教授、量子科技学院学术副院长

题目：基于大语言模型智能体系统的量子应用生成

摘要：量子应用通常涉及量子算法设计、工作流编排、程序合成与执行优化等多个阶段，其开发过程高度依赖领域知识与工程经验。大语言模型智能体系统具备任务理解、规划决策与工具调用能力，为量子应用的自动化生成与协同构建提供了新范式。模型驱动系统工程则为量子应用的工作流、系统架构及开发过程提供了一种系统化描述与组织视角。本报告围绕量子应用工作流的编排与建模、智能体应用以及智能体技能构建三个层面，提出基于大语言模型智能体系统的量子应用生成框架，并探讨相关关键技术路径。

简介：岳涛，北京航空航天大学教授，博士生导师。主要从事量子软件工程、模型驱动系统工程及复杂系统可信开发与验证研究，现任 IEEE TSE副主编。在TSE、TOSEM、ICSE、FSE、ASE 等国际高水平期刊和会议发表论文 170 余篇。

4. 报告人：李绿周 教授

题目：量子算法：量子世界的计算之法

摘要：量子计算的有用性有赖于量子算法。量子算法的设计具有挑战性，需要在量子视角下找到有利于量子特性发挥作用的结构信息，从而到达返璞归真，大道至简的效果。基于量子计算领域的研究现状，除了要在量子计算硬件方面做出长足努力之外，还需进一步发展量子算法基础理论，拓展量子计算能力边界。本报告首先介绍一些量子计算的背景知识，然后以量子算法为核心，介绍其发展历程、研究现状以及研究团队近年来在这方面的研究工作。

简介：李绿周，中山大学计算机学院教授、量子计算与软件研究所所长、计算机科学系主任、CCF量子计算专委副主任委员、中国网络空间安全学会量子计算安全专委副主任委员、CCF杰出会员、CCF杰出演讲者（4次）。长期从事量子计算理论研究，在量子算法方面形成一定研究特色，在SODA、ICALP、ICML、IEEE TIT/TIFS/JSAC/TCAD、Information and Computation、NPJ Quantum Information、Physical Review A/Applied等计算机、物理、量子信息领域知名学术期刊及会议发表论文110多篇，出版学术专著、教材、译著5部。研究工作得到国家重点研发计划、国家基金、广东省杰青、广东省量子科学战略专项等项目支持。

5. 报告人：官极 副研究员

题目：量子算法可靠实现的形式验证

摘要：量子算法从理论设计走向实际应用，面临程序逻辑错误、噪声扰动和隐私泄露等可靠性挑战。本报告介绍我们围绕量子算法可靠实现构建的形式化理论、方法与工具体系，涵盖量子程序模型检测、量子机器学习鲁棒性验证与增强，以及量子差分隐私验证与最优机制设计。针对量子状态空间连续无穷、测量概率性及复杂扰动等难点，我们利用量子状态结构与测量语义，将可靠性要求转化为可自动分析的数学问题，既提供具有理论依据的验证结论，也生成可复核的诊断证据，进一步指导实现改进。在此基础上，我们自主研发了量子计算形式化验证工具VeriQ，并通过软件平台接入、真实量子硬件实验与应用支撑，形成贯通"理论—方法—工具—应用"的系统性研究，为量子算法的可靠实现提供可验证、可诊断、可优化的软件技术保障。

简介：官极，现任中国科学院软件研究所副研究员，博士生导师，入选中国科协青年人才托举工程和中国科学院青促会，获北京市高层次留学人才回国资助。主要研究方向为量子计算与形式化方法，已发表30余篇论文在领域内国际著名会议和期刊上，包括CAV、FM、ACM CCS、IEEE TIT、IEEE TCAD、SICOMP、DAC等。同时，部分研究成果被编入国际首部量子模型检测专著《Model Checking Quantum Systems: Principles and Algorithms》（剑桥大学出版社），并受邀在国际首部量子鲁棒性专著《Quantum Robustness in Artificial Intelligence》（Springer出版社）中贡献专章。此外，常年担任多个计算机国际著名会议程序委员会委员，包括CAV、USENIX Security和IEEE ICC等，主持国家自然科学基金和国家重大科技专项"量子通信与量子计算机"子课题等多个科研项目。

6. 报告人：王赵波 高级工程师

题目：Quafu量子计算云平台介绍

摘要：随着量子信息技术的飞速发展，量子计算正在加速从实验室走向实用化。量子计算云平台已成为连接量子计算机与终端用户之间的关键桥梁。本报告全面介绍了北京量子信息科学研究院自主研发的新一代Quafu超导量子计算云平台。该平台由云平台硬件研发团队开发，为用户提供一站式的量子计算服务。报告系统地阐述了Quafu 量子云平台的技术架构、核心功能以及具体使用方式，旨在帮助用户深入了解并高效利用该平台，降低量子计算的应用门槛，推动量子计算生态建设。

简介：北京量子信息科学研究院新一代Quafu超导量子计算云平台自2024年4月上线以来，已面向全球二十多个国家和地区免费提供量子计算服务。目前，平台全球累计注册用户近6000人，累计执行量子计算任务超千万次。硬件方面Quafu量子云平台在线量子比特总数已达700+，平均两比特门保真度高达98.7%。自平台开放以来，已基于Quafu量子云平台发表了十几篇高水平学术论文，覆盖量子态层析、本征态求解、量子纠错、量子线路编译等多个前沿方向。Quafu云平台正以其卓越的算力与稳定的性能，深度赋能全球量子计算应用生态的发展。

五、论坛组织委员会简介

1. 论坛组委会：谭思危 研究员

简介：谭思危，博士生导师，浙江大学软件学院研究员。谭思危研究员围绕量子计算开展软硬件设计、人工智能应用和体系结构研究，覆盖量子计算硬件、编译、校准和验证。谭思危近三年在顶级学术会议期刊发表文章二十余篇，以一作/通讯作者身份在MICRO、ASPLOS、HPCA等会议期刊发表CCF-A类文章等会议期刊十余篇，获得CCF体系结构优博、甬江人才等荣誉称号，主持国家重点研发课题、工信部未来产业计划、国自然青基、浙江省领雁等项目。自研量子计算机软硬件，测控软件部署于多家机构和学校的上百比特超导量子计算机。发布全栈式量子计算云平台—太元一号，集成量子编译工具链、量子操作系统等核心组件。在体系结构四大会议ASPLOS、HPCA上举行量子相关Tutorial报告，在软工顶级会议FSE、信息可视化顶级会议VIS上发表量子计算相关论文，均为领域内中国大陆首次。

2. 论坛组委会：任文慧 研究员

简介：任文慧，博士生导师，研究方向主要包括超导量子计算硬件设计搭建、量子模拟和量子机器学习。作为主要完成人参与多个系列的国际先进超导量子芯片研发和测试，以及超导量子平台搭建，可操控上百比特和实现高保真度。近5年主要取得以下创新性成果: 1). 利用三聚体晶格等效合成菱形阵列，实现菱形系统的基态制备，相关成果成为 Applied Physical Letters 2025封面文章；2). 实现了99%准确度的量子神经网络模型，首次演示了量子对抗学习，相关成果成为Nature Computational Science 2022 封面文章；3). 首次在超导平台上实验验证了双光子激发，实现了超导量子芯片的高效光子操作。任博士目前发表SCI文章十余篇，引用达一千三百余次，包括Nature、Science和Nature Physics等，以一作/通讯发表Nature Computational Science、Physical Review Letter 和 Applied Physical Letters等多篇文章，获选深圳市优秀创新科技人才。参与科技创新2030，主持或参与国家自然科学基金、国家重点研发计划等多项科研项目。