Courses & Projects

1. 機率 (Probability)
   • 2025-Fall, 2024-Fall, 2012-Spring, 2009-Spring
2. 正規語言與計算理論 (Formal Languages and Theory of Computation)
   • 2025-Fall[英/EN], 2021-Fall[英/EN], 2020-Fall[英/EN], 2019-Fall[英/EN], 2018-Fall, 2017-Fall, 2017-Spring, 2016-Fall, 2016-Spring, 2015-Spring, 2014-Fall, 2013-Fall, 2012-Fall
3. 正規語言概論 (Introduction to Formal Languages)
   • 2026-Spring, 2025-Spring, 2024-Spring, 2023-Spring, 2022-Spring, 2021-Spring, 2020-Spring[英/EN], 2019-Spring, 2018-Spring, 2017-Spring, 2016-Spring, 2014-Spring, 2013-Fall, 2012-Fall, 2011-Fall, 2010-Fall, 2009-Fall, 2008-Fall, 2007-Fall
4. 演化計算 (Evolutionary Computation)
   • 2024-Fall[英/EN], 2023-Fall[英/EN], 2022-Fall[英/EN], 2020-Spring, 2019-Spring, 2018-Spring, 2015-Fall, 2014-Fall, 2013-Spring, 2010-Fall, 2008-Fall, 2008-Spring, 2007-Spring, 2005-Fall, 2004-Fall
5. 計算人文基礎: 師法自然 (Introductory Lectures and Laboratories on Computational Humanities: Inspiration from Nature) [與人社院張俊彥老師合開]
   • 2022-Spring
6. 計算人文與創造力工作坊：師法自然 (A Computational Journey Towards Humanities and Creativity: Inspired by Nature) [與人社院張俊彥老師合開]
   • 2021-Fall, 2020-Fall
7. 計算人文與創造力工作坊：由圖形理論談起 (A Computational Journey Towards Humanities and Creativity: Starting from Graphs) [與人社院張俊彥老師合開]
   • 2021-Spring, 2020-Spring
8. 人工智慧概論 (Introduction to Artificial Intelligence)
   • 2011-Spring, 2010-Spring
9. 人工智慧 (Artificial Intelligence)
   • 2010-Spring
10. 嵌入式系統程式設計 (Embedded System Programming)
    • 2007-Fall, 2005-Fall
11. 計算機概論 (Introduction to Computer Science)
    • 2006-Fall
12. 正規語言 (Formal Languages)
    • 2006-Fall, 2006-Spring, 2005-Spring
13. 嵌入式系統設計 (Embedded System Design) [joint class]
    • 2006-Spring

1. 發展具備情境感知之演化框架以因應創作歷程中之進階最佳化任務並聚焦於音樂領域之應用 (Developing a Context-Aware Evolutionary Framework for Advanced Optimization Tasks in Creative Processes, with a Focus on Applications in Music)
   • 主持人
   • 08/01/2025 ~ 07/31/2026
2. 探索以本體論驅動智慧計算生成框架啟發機器運用人類基本音樂知識與法則並致其能創作與自主發展風格 (Investigation on using an ontology-driven intelligent computational generative framework to inspire machines in utilizing fundamental music knowledge and principles and to enable their creativity and autonomous style development)
   • 主持人
   • 08/01/2024 ~ 07/31/2025
3. 初探機器自主審美暨發展具第三類對位作曲能力之智慧演算架構 (Making a first attempt to establish machine autonomous aesthetics and developing an intelligent computational framework capable of composing third species counterpoint)
   • 主持人
   • 08/01/2023 ~ 07/31/2024
4. 憑藉由具第一類對位作曲能力拓展至可進行第二類對位作曲之智慧演算架構以探討所需之機制並邁向或可啟迪創作的機器之路 (En route to inspiring machines: Investigating essential mechanisms by extending a computational framework for creating first species counterpoint to being capable of composing second species counterpoint)
   • 主持人
   • 08/01/2022 ~ 07/31/2023
5. 以反思創作者之心智活動設計具第一類對位風格形成暨作曲能力之智慧計算機制並藉以探索智能行為中之創意與創造 (Designing a computational intelligence mechanism capable of composition and style development of first species counterpoint and investigating creation and creativity with the mechanism, by reflecting on the creator's mind activities)
   • 主持人
   • 08/01/2021 ~ 07/31/2022
6. 設計具創意暨創作能力之智慧演算架構並應用於定旋律自主風格形成及其作曲之研究 (Study on designing an intelligent framework capable of accommodating creation and creativity for composing cantus firmi with autonomous style development)
   • 主持人
   • 08/01/2020 ~ 07/31/2021
7. 應用演化演算法於輔助進行區塊鏈智慧合約性質檢測之研究 (Study on assisting the property-based tests on smart contracts on blockchain with evolutionary algorithms)
   • 主持人
   • 08/01/2019 ~ 07/31/2020
8. 應用演化演算法於輔助進行區塊鏈智慧合約形式驗證之研究 (Study on assisting the formal verification of smart contracts on blockchain with evolutionary algorithms)
   • 主持人
   • 08/01/2018 ~ 07/31/2019
9. 應用演化演算法於 MCLT codes 組態最佳化之研究 (Study on optimizing the configurations of MCLT codes by using evolutionary algorithms)
   • 主持人
   • 08/01/2018 ~ 07/31/2019
10. 以增進 LT codes 暨 MCLT codes 之效能為方法探究 Multifactorial Optimization 演算架構 (Investigation on Multifactorial Optimization by Improving Performance of LT codes and MCLT codes)
    • 主持人
    • 08/01/2016 ~ 07/31/2017
11. 虛擬 MapReduce 叢集暨 Hadoop YARN 之排班機制與效能分析 (Scheduling and Performance Analysis for Virtual MapReduce Clusters and Hadoop YARN)
    • 主持人
    • 08/01/2015 ~ 07/31/2016
12. MapReduce 架構之可靠性、延展性暨能源效率之提升研究 (Toward a highly reliable, scalable, and energy-efficient MapReduce framework)
    • 主持人
    • 08/01/2012 ~ 07/31/2015
13. 應用泛用型最佳化演算架構於無線網路傳輸技術最佳化問題之研究 (Studies on the Application of General Optimization Frameworks to the Optimization Problems in Wireless Networking Technologies)
    • 主持人
    • 08/01/2010 ~ 07/31/2012
14. 硬體惡意行為檢測技術研究 (Detection of Hardware Trojan)
    • 主持人
    • 01/01/2011 ~ 12/31/2011
15. 研究與發展專為無線網路系統客製化之最佳化演算架構 (Study and Development of a Customized Optimization Framework for Wireless Networking Systems)
    • 主持人
    • 08/01/2009 ~ 07/31/2010
16. 於 XCS 分類系統中導入容錯機制: 實務影響與理論分析 (Introducing Fault Tolerance into XCS: Practical Impact and Theoretical Analysis)
    • 主持人
    • 08/01/2007 ~ 07/31/2008
17. 整合型計畫: 生物系統從序列到結構與功能之計算研究 (Computational study on the sequence-structure-function relationship in biological systems)
    • 子計畫: 生物系統中分子交互作用之研究 (An integrated analysis of molecular structures and interactions in biological systems)
    • 共同主持人
    • 08/01/2005 ~ 07/31/2008
18. {大專學生參與專題研究計畫} 以隨選分割配合機率建模基因演算法處理多維度實數連續域中之最佳化問題 (Split on Demand with Probabilistic Model Building Genetic Algorithms for Solving Continuous Optimization Problems)
    • 主持人
    • 參與學生: 劉浚頡
    • 07/01/2007 ~ 02/28/2008
19. 發展導引式演化策略演算法以處理實數參數之全域最佳化問題 (Particle Swarm Guided Evolution Strategy for Real-Parameter Optimization)
    • 主持人
    • 08/01/2006 ~ 07/31/2007
20. {大專學生參與專題研究計畫} 以機率建模遺傳演算法的離散化解決連續域中之最佳化問題 (Discretization for Probabilistic Model Building Genetic Algorithms in Solving Optimization Problem in Continuous Domain)
    • 主持人
    • 參與學生: 陳昭宏
    • 07/01/2006 ~ 02/28/2007
21. 利用前置式區域搜尋技術增強機率模型構建式基因演算法之執行效能研究 (Performance Speed-up for Probabilistic Model Building Genetic Algorithms by Using Prefix Local Searchers)
    • 主持人
    • 08/01/2005 ~ 07/31/2006
22. 院內急救通報系統之建制與成效評估 (Building an in-hospital resuscitation reporting system)
    • 協同主持人
    • 01/26/2005 ~ 12/31/2005
23. 鏈結學習型基因演算法之設計改進研究 (Design Enhancement of Linkage Learning Genetic Algorithms)
    • 主持人
    • 10/01/2004 ~ 07/31/2005

1. proof.generator
        Paper: Proving Theorems by Using Evolutionary Search with Human Involvement
2. starcraft.asga
        Paper: Learning to Select Actions in StarCraft with Genetic Algorithms
3. ea.prover
        Paper: Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
4. ca_ea.aip
        Paper: Artistic Image Processing with Cellular Automata and Evolutionary Algorithms
5. pso.evac
        Paper: PSO-Based Evacuation Simulation Framework
6. ASP OAI 2.0 Data Provider for Database
        A sample implementation of an OAI 2.0 data provider service for database only architecture. I had maintained this project until version 1.4 while I was working in the Grainger Engineering library of UIUC as a graduate assistant.
7. ASP OAI 2.0 Data Provider for File/Database Hybrid
        A sample implementation of an OAI 2.0 data provider service for file system/database hybrid architecture. I had maintained this project until version 1.4 while I was working in the Grainger Engineering library of UIUC as a graduate assistant.
8. ASP OAI 2.0 Data Provider for File System
        A sample implementation of an OAI 2.0 data provider service for file system. I had maintained this project until version 1.4 while I was working in the Grainger Engineering library of UIUC as a graduate assistant.
9. ASP OAI 2.0 Static Repository Gateway
        A sample implementation of an OAI 2.0 static repository gateway. I had maintained this project until version 1.11 while I was working in the Grainger Engineering library of UIUC as a graduate assistant.
10. OP-yc in C
         This project provides an implementation of a chatroom robot running as an operator for moderating a chatroom for bulletin board systems (BBS).
11. OPycT in Expect Script
         OPycT is a robot written in "expect" mainly for keep the topic of the chat room from being changed by unauthorized people.

1. 大專校院資訊人才培育計畫---嵌入式軟體課程推廣計畫
   • 課程計畫成員
   • 08/01/2005 ~ 07/31/2006
2. 大專校院資訊人才培育計畫---聯盟發展計畫
   • 課程計畫成員
   • 11/01/2004 ~ 12/31/2005