前沿量子科技研究中心量子資訊專題演講
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.
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.
