賴正翰

碩士生 在讀 AI for Formal / Formal Verification

115 學年度入學(2026)

賴正翰