本期CCF学科前沿讲习班《量子计算》将立足计算机学科，对量子计算的核心方向展开深入细致的讲解。课程内容将涵盖量子算法、硬件实现、程序理论、密码分析以及量子信息论等前沿方向的最新研究成果，力争为学员们勾勒出一幅量子计算领域的全景图。并旨在帮助学员们全面理解量子计算从算法设计到编程语言，从计算模型到硬件实现等各个环节的基本概念、核心挑战以及解决方法，引导学员深入探究相关领域的学科前沿和行业应用前景。希望通过本次学习，学员们能够拓宽科研视野，增强实践能力，同时也为量子计算领域培养专业人才起到助力作用，推动该领域的蓬勃发展。
本期ADL讲习班荣幸地邀请到了来自著名高校与企业的六位重量级专家学者做主题报告。他们将从教科书级别的经典量子算法为起点，深入浅出地阐述量子算法的基础原理，分享变分量子算法的前沿进展，详细剖析超导量子计算的硬件实现，探讨量子算法在密码分析中的应用，介绍量子程序设计中形式化验证方法与技术，以及量子信息与计算研究中半正定优化技术的威力。通过这些精彩的报告，为学员展示量子计算这一新型计算模型的无穷魅力。
CCF学科前沿讲习班
CCF学科前沿讲习班
The CCF Advanced Disciplines Lectures
CCFADL第148期
主题 量子计算
2024年6月19日-21日 苏州
学术主任：孙晓明 中国科学院计算技术研究所/张胜誉 腾讯公司
主办单位：中国计算机学会
活动日程：
2024年6月19日（周三）
9:00-9:15
开班仪式
9:15-9:30
全体合影
9:30-12:30
专题讲座1：变分量子算法分析探索
张胜誉 腾讯公司 杰出科学家
12:30-13:30
午餐
13:30-16:30
专题讲座2：超导量子计算进展
朱晓波 中国科技大学 教授
2024年6月20日（周四）
9:00-12:00
专题讲座3：基于量子马尔可夫链的模型检测技术
冯元 清华大学 教授
12:00-13:00
午餐
13:00-16:00
专题讲座4：基于半正定优化的量子信息与计算研究
王鑫 香港科技大学（广州） 副教授
2024年6月21日（周五）
9:00-12:00
专题讲座5：量子算法初探
李绿周 中山大学 教授
12:00-13:00
午餐
13:00-16:00
专题讲座6：量子计算在密码分析中的应用
高飞 北京邮电大学 教授
本期ADL主题《量子计算》，由中国科学院计算技术研究所量子计算与算法理论实验室主任孙晓明研究员和腾讯公司杰出科学家、腾讯量子实验室负责人张胜誉博士担任学术主任，邀请到朱晓波（教授，中国科技大学）、张胜誉（腾讯公司）、冯元（教授，清华大学）、高飞（教授，北京邮电大学）、李绿周（教授，中山大学）、王鑫（副教授，香港科技大学（广州））等6位专家做专题讲座。
特邀讲者（以讲座时间先后为序）
张胜誉
腾讯公司
讲者简介：张胜誉，腾讯杰出科学家，腾讯量子实验室创建者和负责人，原香港中文大学终身教授。复旦数学系本科，清华计算机系硕士（师从应明生教授），普林斯顿大学计算机系博士（师从姚期智教授），加州理工学院博士后(师从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算法给出较为详细的介绍。
学术主任
孙晓明
中国科学院计算技术研究所
简介：孙晓明，中国科学院计算技术研究所研究员，量子计算与算法理论实验室主任，国家杰出青年科学基金获得者。主要研究领域为算法与计算复杂性、量子计算等，曾获王选杰出青年学者奖等。目前担任《中国科学:信息科学》《软件学报》《计算机研究与发展》《Information and Computation》《JCST》《FCS》等杂志编委，工业和信息化部信息通信科学技术委员会委员，曾任中国计算机学会理论计算机科学专委主任。
张胜誉
腾讯公司
简介：张胜誉，腾讯杰出科学家，腾讯量子实验室创建者和负责人，原香港中文大学终身教授。复旦数学系本科，清华计算机系硕士（师从应明生教授），普林斯顿大学计算机系博士（师从姚期智教授），加州理工学院博士后（师从John Preskill及 Leonard Schulman教授）。研究领域为量子信息处理，理论计算机科学，人工智能基础及在物理、化学、生物医药等方面的应用。在相关领域顶级期刊和会议上发表百余篇文章；于多个国际期刊/会议中任编委/程序委员。2018年加入腾讯后致力于推动公司在量子算法及量子系统基础理论的研究，相关软件和系统的研发，以及在信息处理，制药，材料等行业应用的探索。
举办时间：2024年6月19日-21日（周三~周五）
举办地点：苏州•苏州市相城区高铁新城相融路600号CCF业务总部&学术交流中心（高铁苏州北站下车，打车5分钟即到。或在高铁苏州北站地铁站乘坐轨道交通2号线，到富翔路地铁站出3号口即到，大约需要9分钟。）
报名须知：
1、报名费：CCF会员2800元，非会员3600元。食宿交通（费用）自理。根据交费先后顺序，会员优先的原则录取，额满为止。本期ADL线上同步举办，线上线下报名注册费用相同。线上会议室号和密码将在会前1天通过邮件发送。
2、报名截止日期：2024年6月17日。报名请预留不会拦截外部邮件的邮箱，如qq邮箱。会前1天将通过邮件发送会议注意事项和微信群二维码。
3、咨询邮箱 : [email protected]
缴费方式：
在报名系统中在线缴费或者通过银行转账：
银行转账（支持网银、支付宝）：
开户行：招商银行北京海淀支行
户名：中国计算机学会
账号：110943026510701
请务必注明：ADL148+姓名
报名缴费后，报名系统中显示缴费完成，即为报名成功，不再另行通知。
报名方式：
请选择以下两种方式之一报名：
1、扫描（识别）以下二维码报名：
2、点击报名链接报名：
https://conf.ccf.org.cn/ADL148
CCF推荐
【相关阅读】