你好，我是
黃思維
國立臺灣大學電機系畢業，目前就讀於臺大 積體電路設計與自動化 碩士班。研究興趣包含 EDA、形式驗證、SAT/SMT Solver 與 AI-assisted Verification。
/ 經歷
學歷、研究、教學與社團領導經歷。
積體電路設計與自動化學位學程碩士生
國立臺灣大學
就讀於國立臺灣大學重點科技學院積體電路設計與自動化學位學程。研究興趣包含 EDA、形式驗證、SAT/SMT Solver，以及 AI-assisted Verification 工作流。
系統晶片驗證課程教學助理
國立臺灣大學
擔任系統晶片驗證課程教學助理，協助學生理解驗證概念、工具使用與問題除錯。
電機工程學系學士
國立臺灣大學
修習資料結構與演算法、密碼學與資訊安全、EDA 導論、系統晶片驗證、量子設計自動化、數位系統設計、數位電路實驗與遊戲設計等課程。
高中研究專題
中央研究院資訊科學研究所
高中期間跟隨古倫維副研究員進行以 BERT 進行假新聞辨識的研究專題。
副社長
國立臺灣大學遊戲設計研究社
擔任臺大遊戲設計研究社副社長，結合技術、遊戲設計、社群經營與專案協作。
積體電路設計與自動化學位學程碩士生
國立臺灣大學
就讀於國立臺灣大學重點科技學院積體電路設計與自動化學位學程。研究興趣包含 EDA、形式驗證、SAT/SMT Solver，以及 AI-assisted Verification 工作流。
系統晶片驗證課程教學助理
國立臺灣大學
擔任系統晶片驗證課程教學助理，協助學生理解驗證概念、工具使用與問題除錯。
電機工程學系學士
國立臺灣大學
修習資料結構與演算法、密碼學與資訊安全、EDA 導論、系統晶片驗證、量子設計自動化、數位系統設計、數位電路實驗與遊戲設計等課程。
高中研究專題
中央研究院資訊科學研究所
高中期間跟隨古倫維副研究員進行以 BERT 進行假新聞辨識的研究專題。
副社長
國立臺灣大學遊戲設計研究社
擔任臺大遊戲設計研究社副社長，結合技術、遊戲設計、社群經營與專案協作。
/ 精選作品
競賽、研究方向與工程專案整理。
/ 自製遊戲
發布於 itch.io 的遊戲與 prototype。
/ 技術能力
依領域與熟悉程度整理的技術能力概覽。
程式語言
驗證與 EDA
AI 與演算法
遊戲與工具
語言能力
/ 聯絡我
如果你想討論研究、專案或實習機會，歡迎聯絡我。