报告题目：量子程序设计与软件开发

演讲摘要：本报告将简要介绍量子程序设计与软件开发。量子程序设计旨在用高级结构化的语言描述量子算法，充分利用和发挥量子硬件独有的强大计算能力，是量子计算走向实用化的关键技术之一。我们将讨论了量子软件开发的各个层面，包括语言设计和静态分析、动态测试与调试、编译与优化技术等核心组成部分，分析与经典程序开发的关键区别，探讨其中所面临的挑战与限制，总结近年来该领域的主要进展和突破。

讲者简介：周立，中国科学院软件研究所副研究员。毕业于清华大学计算机系，之后于马克斯普朗克安全与隐私研究所进行博士后研究。主要研究方向为量子程序设计方法学，包括对量子程序的验证、计算机辅助证明、测试与调试等。近年来多个原创性工作发表于顶级会议如POPL, PLDI, LICS等。曾与合作者共同获得过OOPSLA'20和LICS'22的杰出论文奖。与合作者共同开发首个实用的后量子密码了协议验证工具EasyPQC(CCS'21)以及首个经过验证的量子程序验证平台CoqQ(POPL'23)。