日期

2022-11-14

時間

12:10-13:00

地點

理學教學新大樓物理系1F 36169會議室

領域

Quantum Information Science

講者

江介宏 教授 - 台灣大學電機工程系

題目

Towards Exact Simulation and Verification of Quantum Circuits

摘要

Quantum circuit simulation and verification performed on classical computers play essential roles in quantum program compilation, which transforms a quantum algorithm into a quantum circuit executable on a quantum processor. In this talk, we will share our recent progress in achieving exact quantum circuit simulation and equivalence checking. Based on an algebraic method and a symbolic bit-slicing technique, the computation can be made exact and much more scalable compared to the prior state-of-the-art. 
 

Bio:
Jie-Hong R. Jiang is currently a Professor in the Department of Electrical Engineering and the Director of the Graduate Institute of Electronics Engineering at National Taiwan University. He received the B.S. and M.S. degrees in Electronics Engineering from National Chiao Tung University, Hsinchu, Taiwan, in 1996 and 1998, respectively, and the Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California, Berkeley, in 2004. His research interest includes foundations of system construction, system analysis, hardware synthesis and verification, and computation with quantum physics and biochemistry.