
Decision Diagrams for Symbolic Verification of Quantum Circuits
Schedule
Date
Sep 1, 2023, 10:00 am (Taipei Time)
Speaker
Wei-Jia Huang
Reference
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.