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