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