Welcome to **Yih-Kuen Tsay's Wiki @ IM.NTU**!
This site is a collective Wiki for my courses and other things 
that I (Yih-Kuen Tsay) create with my colleagues and students.
Enjoy!

====== Courses ======
  * Fall 2008
    * {{courses:sdm:sdm2008info.pdf|Software Development Methods (軟體開發方法)}}
    * {{courses:ssv:ssv2008info.pdf|Software Specification and Verification (軟體規格與驗證)}}
    * {{courses:is:is2008info.pdf|Information Security (資訊安全)}}
  * Spring 2009
    * [[courses:alg2009:home|Algorithms (演算法)]]
    * [[courses:sem2009:home|Seminar on Information Management (資管專題討論)]]
    * [[courses:av2009:main|Automatic Verification (自動化軟體驗證)]]
  * Fall 2009
    * [[courses:sdm2009:main|Software Development Methods (軟體開發方法)]]
    * [[courses:ssv2009:main|Software Specification and Verification (軟體規格與驗證)]]
    * [[courses:is2009:main|Information Security (資訊安全)]]
  * Spring 2010
    * [[courses:alg2010:main|Algorithms (演算法)]]
    * [[courses:av2010:main|Automatic Verification (自動化軟體驗證)]]
  * Fall 2010
    * [[courses:sdm2010:main|Software Development Methods (軟體開發方法)]]
    * [[courses:ssv2010:main|Software Specification and Verification (軟體規格與驗證)]]
    * [[courses:is2010:main|Information Security (資訊安全)]]
  * Spring 2011
    * [[courses:alg2011:main|Algorithms (演算法)]]
    * [[courses:av2011:main|Automatic Verification (自動化軟體驗證)]]
  * Fall 2011
    * [[courses:sdm2011:main|Software Development Methods (軟體開發方法)]]
    * [[courses:ssv2011:main|Software Specification and Verification (軟體規格與驗證)]]
    * [[courses:is2011:main|Information Security (資訊安全)]]
  * Spring 2012
    * [[courses:alg2012:main|Algorithms (演算法)]]
    * [[courses:av2012:main|Automatic Verification (自動化軟體驗證)]]
  * Fall 2012
    * [[courses:sdm2012:main|Software Development Methods (軟體開發方法)]]
    * [[courses:pl2012:main|Programming Languages (程式語言)]]
    * [[courses:is2012:main|Information Security (資訊安全)]]
  * Spring 2013
    * [[courses:alg2013:main|Algorithms (演算法)]]
    * [[courses:theory2013:main|Theory of Computing (計算理論)]]
  * Fall 2013
    * [[courses:sdm2013:main|Software Development Methods (軟體開發方法)]]
    * [[courses:is2013:main|Information Security (資訊安全)]]
  * Spring 2014
    * [[courses:alg2014:main|Algorithms (演算法)]]
    * [[courses:theory2014:main|Theory of Computing (計算理論)]]
  * Fall 2014
    * [[courses:sdm2014:main|Software Development Methods (軟體開發方法)]]
    * [[courses:is2014:main|Information Security (資訊安全)]]
    * [[courses:ssv2014:main|Software Specification and Verification (軟體規格與驗證)]]
  * Spring 2015
    * [[courses:alg2015:main|Algorithms (演算法)]]
    * [[courses:theory2015:main|Theory of Computing (計算理論)]]
    * [[courses:av2015:main|Automatic Verification (自動化軟體驗證)]]
  * Fall 2015
    * [[courses:ds2015:main|Data Structures (資料結構)]]
    * [[courses:sdm2015:main|Software Development Methods (軟體開發方法)]]
    * [[courses:is2015:main|Information Security (資訊安全)]]
  * Spring 2016
    * [[courses:alg2016:main|Algorithms (演算法)]]
    * [[courses:theory2016:main|Theory of Computing (計算理論)]]
  * Fall 2016
    * [[courses:ds2016:main|Data Structures (資料結構)]]
    * [[courses:sdm2016:main|Software Development Methods (軟體開發方法)]]
    * [[courses:is2016:main|Information Security (資訊安全)]]
  * Spring 2017
    * [[courses:alg2017:main|Algorithms (演算法)]]
    * [[courses:theory2017:main|Theory of Computing (計算理論)]]
  * Fall 2017
    * [[courses:ds2017:main|Data Structures (資料結構)]]
    * [[courses:sdm2017:main|Software Development Methods (軟體開發方法)]]
  * Spring 2018
    * [[courses:alg2018:main|Algorithms (演算法)]]
    * [[courses:theory2018:main|Theory of Computing (計算理論)]]
  * Fall 2019
    * [[courses:alg2019:main|Algorithms (演算法)]]
    * [[courses:av2019:main|Automatic Verification (自動化軟體驗證)]]
  * Spring 2020
    * [[courses:theory2020:main|Theory of Computing (計算理論)]]
    * [[courses:sdm2020:main|Software Development Methods (軟體開發方法)]]
  * Fall 2020
    * [[courses:alg2020:main|Algorithms (演算法)]]
    * [[courses:ssv2020:main|Software Specification and Verification (軟體規格與驗證)]]
  * Spring 2021
    * [[courses:theory2021:main|Theory of Computing (計算理論)]]
    * [[courses:sdm2021:main|Software Development Methods (軟體開發方法)]]
  * Fall 2021
    * [[courses:alg2021:main|Algorithms (演算法)]]
    * [[courses:ssv2021:main|Software Specification and Verification (軟體規格與驗證)]]
  * Spring 2022
    * [[courses:theory2022:main|Theory of Computing (計算理論)]]
    * [[courses:sdm2022:main|Software Development Methods (軟體開發方法)]]
  * Fall 2022
    * [[courses:alg2022:main|Algorithms (演算法)]]
    * [[courses:ssv2022:main|Software Specification and Verification (軟體規格與驗證)]]
  * Spring 2023
    * [[courses:theory2023:main|Theory of Computing (計算理論)]]
    * [[courses:sdm2023:main|Software Development Methods (軟體開發方法)]]
====== Others ======