國立台灣大學電機工程學系 教授
Professor, Department of Electrical Engineering, National Taiwan University
Associate Professor, Graduate Institute of Electronics Engineering, National Taiwan University
主要研究領域:
(1) SoC電路設計驗證, (2) 電路設計自動化及最佳化, (3) 可驗證性電路設計, (4) Constraint Satisfication問題
Major Research Areas:
(1) design verification for SoCs, (2) design for verifiability, (3) design automation and optimization, and (4) constraint satisfaction problems in electronic design automation (EDA) area.