2005 Spring:
     Theory of Computation

2004 Autumn:
     Algorithms
     Introduction to Formal Languages

2004 Spring:
     Combinatorial Mathematics
     The Probabilistic Method

2003 Autumn:
     Algorithms

2003 Spring:
     Theory of Computation
     Discrete Math
     Formal Languages

2002 Autumn:
     Algorithms,
     
2002 Summer:
     The Probabilistic Method

2002 Spring:
     Computational Complexity
     Formal Languages

2001 秋季:
     高等演算法 

     NCTU  2001/8---
-----------------------------------
     NCNU  1996/8---2001/8

2001 春季:
     離散數學
     計算理論 (also taught at NCTU CSIE)
     資料結構與演算法(二)

2000 春季:
     計算理論
     資料結構與演算法(二)

1999 秋季:
     資料結構與演算法(一)
     自動機與形式語言

1999 春季:
     計算理論
     高等演算法 

1998 秋季:
     自動機與形式語言
     
1998 春季:
     資料結構與演算法(二)
     網際網路系統設計
     
1997 秋季: 						
     高等演算法
     資料結構與演算法(一)

1997 春季:
     高等演算法

1996 秋季:
     高等作業研究