成員列表

駱彥竹

碩士生

3DIC

黃思維

Stanley

碩士生

AI for Formal / Formal Verification

董甄茵

Jenny

碩士生

Quantum

陳以哲

jerry

碩士生

3DIC

楊珩

Henning

碩士生

3DIC

隋中彧

碩士生

Formal Verification

王瀞桓

碩士生

Quantum

劉虹伶

碩士生

Formal Verification

劉建亨

碩士生

Formal Verification

楊翔淳

碩士生

Quantum

郭亦翔

碩士生

Quantum

陳韋旭

碩士生

Formal Verification

童子瑜

碩士生

Formal Verification

邱浤竣

碩士生

Formal Verification

陳孟宏

Hugo

碩士生

Formal Verification

尤品鈞

碩士生

Quantum

李彥儒

碩士生

Formal Verification

呂承樺

碩士生

Quantum

羅奧文

碩士生

Formal Verification

鄭謹譯

碩士生

Quantum

莊博翰

碩士生

Formal Verification

許祐綾

碩士生

Formal Verification

林嘉豪

碩士生

Formal Verification

劉慕德

Joshua

碩士生

Quantum