DVLab is directed by Prof. Chung-Yang (Ric) Huang. Research areas include:
- Formal verification
- Quantum circuit synthesis and optimization
- Electronic design automation (EDA)
We welcome Master’s students, PhD students, and undergraduate researchers interested in the areas above, as well as academic and industrial collaboration. Please contact Prof. Huang at cyhuang@ntu.edu.tw.