DATE

2022-11-14

TIME

12:10-13:00

PLACE

R36169, 1F, Dept. of Physics, Building of Science College, NCKU

FIELD

Quantum Information Science

SPEAKER

Prof. Jie-Hong Roland Jiang - Dept. of Electrical Engineering, NTU

TITLE

Towards Exact Simulation and Verification of Quantum Circuits

ABSTRACT

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.