基于“测量-重置”的量子比特复用的复杂性和形式化验证
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 is an Associate Researcher at BIMSA. He received his Ph.D. in Computer Science and Technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he was an Assistant Researcher at the Quantum Computing Research Center, Peng Cheng Laboratory. His research interests lie in programming language theory, formal verification of compilers, and programming language issues in quantum computing. His work has been published in premier venues such as PLDI, CAV, and OOPSLA. He was a recipient of the PLDI 2019 Distinguished Paper Award.