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
- Software Development Methods (軟體開發方法)
- Software Specification and Verification (軟體規格與驗證)
- Information Security (資訊安全)
Spring 2009
- Algorithms (演算法)
- Seminar on Information Management (資管專題討論)
- Automatic Verification (自動化軟體驗證)
Fall 2009
- Software Development Methods (軟體開發方法)
- Software Specification and Verification (軟體規格與驗證)
- Information Security (資訊安全)
Spring 2010
- Algorithms (演算法)
- Automatic Verification (自動化軟體驗證)
Fall 2010
- Software Development Methods (軟體開發方法)
- Software Specification and Verification (軟體規格與驗證)
- Information Security (資訊安全)
Spring 2011
- Algorithms (演算法)
- Automatic Verification (自動化軟體驗證)
Fall 2011
- Software Development Methods (軟體開發方法)
- Software Specification and Verification (軟體規格與驗證)
- Information Security (資訊安全)
Spring 2012
- Algorithms (演算法)
- Automatic Verification (自動化軟體驗證)
Fall 2012
- Software Development Methods (軟體開發方法)
- Programming Languages (程式語言)
- Information Security (資訊安全)
Spring 2013
- Algorithms (演算法)
- Theory of Computing (計算理論)
Fall 2013
- Software Development Methods (軟體開發方法)
- Information Security (資訊安全)
Spring 2014
- Algorithms (演算法)
- Theory of Computing (計算理論)
Fall 2014
- Software Development Methods (軟體開發方法)
- Information Security (資訊安全)
- Software Specification and Verification (軟體規格與驗證)
Spring 2015
- Algorithms (演算法)
- Theory of Computing (計算理論)
- Automatic Verification (自動化軟體驗證)
Fall 2015
- Data Structures (資料結構)
- Software Development Methods (軟體開發方法)
- Information Security (資訊安全)
Spring 2016
- Algorithms (演算法)
- Theory of Computing (計算理論)
Fall 2016
- Data Structures (資料結構)
- Software Development Methods (軟體開發方法)
- Information Security (資訊安全)
Spring 2017
- Algorithms (演算法)
- Theory of Computing (計算理論)
Fall 2017
- Data Structures (資料結構)
- Software Development Methods (軟體開發方法)
Spring 2018
- Algorithms (演算法)
- Theory of Computing (計算理論)
Fall 2019
- Algorithms (演算法)
- Automatic Verification (自動化軟體驗證)
Spring 2020
- Theory of Computing (計算理論)
- Software Development Methods (軟體開發方法)
Fall 2020
- Algorithms (演算法)
- Software Specification and Verification (軟體規格與驗證)
Spring 2021
- Theory of Computing (計算理論)
- Software Development Methods (軟體開發方法)
Fall 2021
- Algorithms (演算法)
- Software Specification and Verification (軟體規格與驗證)
Spring 2022
- Theory of Computing (計算理論)
- Software Development Methods (軟體開發方法)
Fall 2022
- Algorithms (演算法)
- Software Specification and Verification (軟體規格與驗證)
Spring 2023
- Theory of Computing (計算理論)
- Software Development Methods (軟體開發方法)

Courses

Others