
Decision Diagrams for Symbolic Verification of Quantum Circuits
日程
活動時間
Sep 1, 2023, 10:00 am (Taipei Time)
演講者
Wei-Jia Huang
相關連結
Personal information
Wei-Jia received a MSc degree at the Department of Physics of National Taiwan University in 2020 and now he is working as a research assistant at the Quantum Computing Research Center of Hon Hai Research Institute. His research interests are focused on quantum computation and verification of quantum circuits.