基于“测量-重置”的量子比特复用的复杂性和形式化验证
组织者
演讲者
时间
2022年10月14日 09:30 至 10:30
地点
JCY-1
线上
Tencent 337 8937 1456
()
摘要
量子比特数量是当前量子器件的主要局限之一，如何用尽可能少的量子比特完成相同的计算任务是一类重要的问题。这一报告中，我们重新探讨基于测量-重置的量子线路宽度优化方法，利用量子比特依赖图研究该线路优化问题的复杂性、启发式算法和形式化验证。
演讲者介绍
蒋瀚如于2019年在中国科学技术大学取得计算机科学与技术博士学位，2019-2020年在鹏城实验室量子计算研究中心担任助理研究员，2020年加入BIMSA任助理研究员。他的主要研究方向为程序语言理论、编译器的形式化验证和量子计算中的程序语言问题。作为并发程序分离编译验证工作CASCompCert的主要完成人，获得程序语言领域顶级会议PLDI 2019的Distinguished Paper Award。