招生與合作

DVLab 由黃鐘揚教授主持，研究領域涵蓋：

• 形式化驗證（formal verification）
• 量子電路合成與最佳化
• 電子設計自動化（EDA）

歡迎對上述領域有興趣的碩士生、博士生與大學部專題生加入我們，也歡迎學界與業界合作。請以 email 聯繫黃鐘揚教授：cyhuang@ntu.edu.tw。