基于“测量-重置”的量子比特复用的复杂性和形式化验证
组织者
演讲者
时间
2022年10月14日 09:30 至 10:30
地点
JCY-1
线上
Tencent 337 8937 1456
()
摘要
量子比特数量是当前量子器件的主要局限之一，如何用尽可能少的量子比特完成相同的计算任务是一类重要的问题。这一报告中，我们重新探讨基于测量-重置的量子线路宽度优化方法，利用量子比特依赖图研究该线路优化问题的复杂性、启发式算法和形式化验证。
演讲者介绍
蒋瀚如，现任BIMSA副研究员。他于2019年在中国科学技术大学获得计算机科学与技术博士学位。2019年至2020年间，在鹏城实验室量子计算研究中心担任助理研究员。主要研究方向包括程序设计语言理论、编译器的形式化验证以及量子计算中的程序语言问题。其研究成果多次发表于 PLDI、CAV、OOPSLA 等程序语言领域的顶尖国际会议及期刊，曾获 PLDI 2019 杰出论文奖。