你好，我是
黃思維
國立臺灣大學電機系畢業，目前就讀於臺大 積體電路設計與自動化 碩士班。研究興趣包含 EDA、形式驗證、SAT/SMT Solver 與 AI-assisted Verification。也開發 AI 工具、參與開源專案與製作遊戲。
/ 經歷
學歷、研究、教學與社團領導經歷。
積體電路設計與自動化學位學程碩士生
國立臺灣大學
就讀於國立臺灣大學重點科技學院積體電路設計與自動化學位學程，指導教授為黃鐘揚。研究方向包含 EDA、形式驗證與 SAT/SMT，探索以 LLM 提出輔助引理（lemma）、不變量與候選條件，再由形式工具檢查正確性的工作流。
Intern（Technical-Engineering）
Synopsys Taiwan — TPG, HW-assisted Verification
以 Python 解析與交互比對多來源 log，將分散的除錯資訊整合為 HTML 報告，並開發 LLM debug plugin。在團隊提供的示範案例中，串接後的 agent 能定位問題根因；另改善資料處理的平行化與輸入邊界，並透過測試確認結果。
開源貢獻者
HAPI 開源專案
參與 AI coding agent 遠端操作平台開發，貢獻 Copilot CLI 整合、語音輸入與對話操作等功能，並修正多種 agent 的 session 與權限處理；相關 PR 已合併至上游。
系統晶片驗證課程教學助理
國立臺灣大學
擔任系統晶片驗證課程教學助理，協助學生理解驗證概念、工具使用與問題除錯。
電機工程學系學士
國立臺灣大學
修習資料結構與演算法、密碼學與資訊安全、EDA 導論、系統晶片驗證、量子設計自動化、數位系統設計、數位電路實驗與遊戲設計等課程。 英語檢定：TOEIC 860。
高中科學班
臺北市立建國高級中學
就讀建國中學科學班，並擔任資訊社學術幹部，協助舉辦學術與出遊活動。
高中研究專題
中央研究院資訊科學研究所
高中期間跟隨古倫維副研究員進行以 BERT 進行假新聞辨識的研究專題。
國中部・資優班假日方案
新北市立海山高級中學國中部
就讀海山高中國中部，並參與資優班假日方案。
國小
新北市中和區積穗國民小學
就讀積穗國小，五、六年級參加創客小學堂，接觸 3D 繪圖、Arduino 與動手製作。
副社長
國立臺灣大學遊戲設計研究社
擔任臺大遊戲設計研究社副社長，結合技術、遊戲設計、社群經營與專案協作。
積體電路設計與自動化學位學程碩士生
國立臺灣大學
就讀於國立臺灣大學重點科技學院積體電路設計與自動化學位學程，指導教授為黃鐘揚。研究方向包含 EDA、形式驗證與 SAT/SMT，探索以 LLM 提出輔助引理（lemma）、不變量與候選條件，再由形式工具檢查正確性的工作流。
Intern（Technical-Engineering）
Synopsys Taiwan — TPG, HW-assisted Verification
以 Python 解析與交互比對多來源 log，將分散的除錯資訊整合為 HTML 報告，並開發 LLM debug plugin。在團隊提供的示範案例中，串接後的 agent 能定位問題根因；另改善資料處理的平行化與輸入邊界，並透過測試確認結果。
開源貢獻者
HAPI 開源專案
參與 AI coding agent 遠端操作平台開發，貢獻 Copilot CLI 整合、語音輸入與對話操作等功能，並修正多種 agent 的 session 與權限處理；相關 PR 已合併至上游。
系統晶片驗證課程教學助理
國立臺灣大學
擔任系統晶片驗證課程教學助理，協助學生理解驗證概念、工具使用與問題除錯。
電機工程學系學士
國立臺灣大學
修習資料結構與演算法、密碼學與資訊安全、EDA 導論、系統晶片驗證、量子設計自動化、數位系統設計、數位電路實驗與遊戲設計等課程。 英語檢定：TOEIC 860。
高中科學班
臺北市立建國高級中學
就讀建國中學科學班，並擔任資訊社學術幹部，協助舉辦學術與出遊活動。
高中研究專題
中央研究院資訊科學研究所
高中期間跟隨古倫維副研究員進行以 BERT 進行假新聞辨識的研究專題。
國中部・資優班假日方案
新北市立海山高級中學國中部
就讀海山高中國中部，並參與資優班假日方案。
國小
新北市中和區積穗國民小學
就讀積穗國小，五、六年級參加創客小學堂，接觸 3D 繪圖、Arduino 與動手製作。
副社長
國立臺灣大學遊戲設計研究社
擔任臺大遊戲設計研究社副社長，結合技術、遊戲設計、社群經營與專案協作。
/ 精選作品
研究原型、競賽成果、開源貢獻與實用工具。
/ 自製遊戲
Game Jam 與校園遊戲，提供正式作品頁與遊玩連結。
/ 聯絡我
歡迎透過 Email 或 LinkedIn 聯絡我，討論研究、工程專案、開源合作或遊戲開發。