碩士學位論文（Master theses）
2024
- 陳欣平
- 在指令式程式設計中以跨作用域的變數追蹤實現訊號抬升自動化
- 黃印榕
- 基於程式語言支援AI生成程式碼分離以改善程式碼可讀性
- 張文耀
- 學習問題拆解思維能力以提升人類與生成式人工智慧協作開發的程式碼品質
- 顏維新
- 於代理人制度下新增LLM投票單元提高生成程式碼正確性
- 鄭丞傑
- 從案例式學習以運算思維運用生成式人工智慧的程式學習機制
- 陳佳均
- 以可見式思考模組與群體程式設計提升程式設計學習成效之研究
- 陳冠瑋
- 基於鷹架理論的學習輔助系統以引導式填空在遞迴程式設計學習之研究
2023
- 陳宏維
- 從合作學習角色分工獲得函式程式設計思維學習遞迴程式的機制
- 郭威
- 基於抽象語法樹的深度複製及彈性別名之所有權系統解決Java表示暴露問題
- 林右展
- 基於Python型別提示檢查不可變性
2022
- 陳偉翔
- 基於YOLOX-CS與插圖資料增強的台灣建物結構辨識模型之實作與方法
- 潘奕平
- Channel Reduction for EEG Fatigue Detection Using Feature Selection
- 高健文
- 基於抽象語法樹的陣列形狀錯誤偵測
- 林庭葦
- 解決指令下沉阻擋商餘合併之最佳化演算法改良
- 林于瑄
- 一個應用紙本運算與數位化於程式設計學習使程序性思維可視化的機制
2021
- 吳少凱
- 以物件偵測方法建立台灣建物結構辨識模型
- 吳尉誠
- 基於抽象語法樹和編碼的程式碼抄襲檢測器之實作與方法
- 蔡家豪
- Education Assist Oriented Tool - Static Time Complexity Analysis Tool
- 涂珮榕
- 基於實驗追蹤與模型回溯的機器學習超參數優化設計與實作
- 蔡欣倢
- 字串參數錯誤偵測靜態分析檢查器設計與實作
2020
- 呂銘洋
- 基於替代語意的 pandas DataFrame 靜態型別檢查器
- 簡若宜
- 支援模組化規則製作之程式碼轉換工具
- 李偉泰
- 以震波層析成像為應用之特定領域語言實作與分析
- 潘俊霖
- 自動化時間複雜度分析的設計與實作–從軟體層面評估嵌入式系統的功率消耗
- 廖信惠
- 在 Java 程式語言中以雙向結構表達數學公式間關聯之設計與實作
2019
- 徐國維
- 條件判斷式事件驅動程式設計之C語言擴充
- 曾耀儂
- TOCTOU漏洞的靜態分析與實作
- 何東穎
- 以演算法程式設計競賽試題為例使用Big-O AST靜態分析函式時間複雜度
- 劉冠尚
- 流程圖式特定領域語言之設計與實作
- 林佳育
- 用於繪製風力發電控制邏輯之特定領域語言
大學部專題（Undergraduate projects）
2024
- 楊承叡, 涂家赫
- OOP-Explorer
- 陳俊宇
- 用Rougelike遊戲學習程式設計
2023
- 賴妍希
- 基礎排序演算法學習網站-Sort Wars
- 林禧姿
- 遊戲入門勘根數值方法教學網頁
- 陳彥呈
- C++在機器學習之相關應用
2022
- 楊惠隆
- 程式語言圖形化
- 張凱晴
- 多通道腦波訊號接收器之訊號即時呈現
- 王嘉笙
- 程式效能分析工具 - Profiler
- 方嘉賢
- MirrorDBG - Windows x64 C/C++ Debugger
2021
- 施宗佑
- Non-recursive adjoint folds
- 蔡佳升
- Natural Languages to C++
- 黃澤峻
- Virtual Stock
- 林欣蓓
- 圖形化程式語言轉C++
2020
- 徐立哲, 王欣楷, 羅展釗
- 中央復活福利社APP
- 廖惠淳
- Android 電子手帳本─找回實體手帳本的使用感
2019
- 陳鉅仁
- 簡易圖片編輯器
- 黃靖筌
- 簡易線上多語言IDE網頁(My Compyler) [院決賽佳作]
- 蔡均宜
- 三維地科數據圖像化顯示工具
- 余昌翰
- 圖形化流程圖編譯器
2018
- 詹承翰
- 語音即時互動數學軟體
- 鄒承翰, 陳堃澤, 蕭凱丞
- ExG Acquisition Tag III 和 Real time 呈現
2017
- 黃書桓
- Parser Base: A hand-made tool with webpage interface for demonstration of parser concept
- 林怡慧
- 利用CUDA將程式作平行化運算
- 許瑞麟
- Theorem Proving with Computer Programs
