基于“测量-重置”的量子比特复用的复杂性和形式化验证
Organizer
Speaker
Time
Friday, October 14, 2022 9:30 AM - 10:30 AM
Venue
JCY-1
Online
Tencent 337 8937 1456
()
Abstract
量子比特数量是当前量子器件的主要局限之一，如何用尽可能少的量子比特完成相同的计算任务是一类重要的问题。这一报告中，我们重新探讨基于测量-重置的量子线路宽度优化方法，利用量子比特依赖图研究该线路优化问题的复杂性、启发式算法和形式化验证。
Speaker Intro
Hanru Jiang obtained a Ph.D. in computer science and technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he worked as an assistant research fellow at the Quantum Computing Research Center of Pengcheng Laboratory. In 2020, he joined BIMSA as an assistant professor. His main research directions are programming language theory, compiler verification, and programming language aspects in quantum computing. As the main contributor to the concurrent program separation compilation verification work CASCompCert, won the Distinguished Paper Award of PLDI 2019, a top conference in the field of programming languages.