課程

高科技創業與營運（EEE5031）為台大電機所開設之選修課程，由黃鐘揚教授開授，探討高科技產業的創業歷程與企業營運實務，涵蓋新創事業的構想、商業模式、團隊建立、募資與成長策略等面向，結合理論與實務案例。

量子設計自動化特論（EEE5065）為台大電機所開設之選修課程，介紹量子設計自動化（Quantum Design Automation, QDA）領域的核心技術，探討如何將電子設計自動化（EDA）的方法延伸至量子電路之合成、映射、最佳化與驗證。由黃鐘揚教授與洪士灝、李建模、江介宏教授合授。

系統晶片驗證（EEE5023）為台大電機所開設之選修課程，介紹系統晶片設計之形式化驗證技術。課程涵蓋形式化建模與性質規格、二元決策圖（BDD）、布林可滿足性（SAT）求解、模型檢驗與可達性分析，並探討形式化方法在邏輯合成與最佳化上的實務應用。

網路服務程式設計（EE3035）介紹現代全端網頁應用程式的設計與實作。課程涵蓋以 React.js 進行的前端開發、後端服務、資料庫與部署，並透過課堂講授、線上黑客松與期末專題的方式進行實作練習。

本課程將帶領同學在 Linux 工作站上以 C++ 實作各種資料結構，從中學習實務問題並累積真實的程式設計經驗。