CAV Lab
Computer Aided Verification Laboratory | 電腦輔助驗證實驗室

Graduated Student


Name E-mail Company
丁之正(Chih-Cheng Ting) N26081385@gs.ncku.edu.tw MediaTek Inc.
黃煜庭(Yu-Ting Huang) N26081482@gs.ncku.edu.tw REALTEK SEMICONDUCTOR CORP.
王琦凱(Chi-Kai Wang) N26081505@mail.ncku.edu.tw MediaTek Inc.
陳思翰(Sih-Han Chen) N26084749@gs.ncku.edu.tw Nanyang Technological University RA, Singapore
陳航(Hang Chen) N26081424@gs.ncku.edu.tw MediaTek Inc.
楊佳憲(Chia-Hsien Yang) N26071712@gs.ncku.edu.tw MediaTek Inc.
黃聖龍(Sheng-Lung Huang) N26071445@gs.ncku.edu.tw MediaTek Inc.
譚力銘(Lee-Ming Tan) N26071429@gs.ncku.edu.tw
高義鈞(Yi-Jyun Gao) N26061513@gs.ncku.edu.tw MediaTek Inc.
高振庭(Zhwn-Ting Gao) N26061775@gs.ncku.edu.tw Richtek Technology Corporation
許嘉豪(Jia-Hao Syu) N26061335@gs.ncku.edu.tw Taiwan Semiconductor Manufacturing Co.
鄭天胤(Tien-Yin Chang) N26061741@gs.ncku.edu.tw MediaTek Inc.
柯春生(Chun-Sheng Ke) N26061814@gs.ncku.edu.tw Taiwan Semiconductor Manufacturing Co.
巫世偉(Shi-Wei Wu) N26051788@gs.ncku.edu.tw
連晉瑋(Jin-Wei Lian) N26051893@gs.ncku.edu.tw MediaTek Inc.
劉彥廷(Yen-Ting Liu) N26051932@gs.ncku.edu.tw
呂明霖(Ming-Lin Lu) N26051568@gs.ncku.edu.tw Taiwan Semiconductor Manufacturing Co.

second-year graduate students


周育霆
(Yu-Ting Chou)
N26094998
n26094998@gs.ncku.edu.tw
翁紹嘉
(Shao-Chia Weng)
N26094744
n26094744@gs.ncku.edu.tw
林健湘
(Chien-Hsiang Lin)
N26091526
n26091526@gs.ncku.edu.tw
林呈遠
(Cheng-Yuan Lin)
N26091437
n26091437@gs.ncku.edu.tw

first-year graduate students


王朝宇
(Chao-Yu Wang)
N26100197
N26100197@gs.ncku.edu.tw
林冠名
(Kuan-Ming Lin)
N26100058
N26100058@gs.ncku.edu.tw
韋盛然
(Sheng-Ran Wei)
N26102262
N26102262@gs.ncku.edu.tw
顏子傑
(Tzu-Chieh Yen)
N26100171
N26100171@gs.ncku.edu.tw
邱繼頡
(Chi-Chieh Chiu)
N26104824
N26104824@gs.ncku.edu.tw