黃思維

簡介

國立臺灣大學重點科技學院積體電路設計與自動化學位學程碩士生，研究 Formal Verification 與 AI-assisted Verification；2026 春季擔任系統晶片驗證課程教學助理。 以 LLM 生成 lemma、不變量與候選 predicate，再以 formal tool 驗證正確性。