[MAIN PAGE]  

Graduate Students and Post-docs

Courses Taught at NUS 

• CS3213 Foundations of Software Engineering in 2021-22 and 2022-23.
• CS4211 Formal Methods in Software Engineering in 2017-18, 2018-19, 2019-20, 2020-21,2021-22 (Lesson Plan).
• CS6210 Art of Computer Science Research (for PhD students) in 2017-19. (Lesson Plan).
• CS6217 Advanced Topics in Programming Languages and Software Engineering, 2019-20 (Lesson Plan).
• CS4239 Software Security Lesson Plan 2015-16.
• CS4218 Software Testing Lesson Plan (2013-14), Course Project (2013-14), Quality Assurance Report of project (2015-16).  [Also taught in 2014-15 and 2015-16]
• CS3211 Parallel and Concurrent Programming (latest 2012-13).
• CS4271 Critical Systems and their Verification (in 2010-11).
• CS5219 Automated Software Validation (an earlier version).
• CS6880 Advanced Topics in Software Engineering (in 2011-12).
• CS4272 Hardware Software Co-design
• CS2104 Programming Language Concepts
• CS1102 Data Structures and Algorithms

Book

      Homepage (with pointers to a sample course)

      Front Cover and Back Cover

      Chinese Translation (appeared 2011)

Under-graduate Student Supervision

Last updated 1 July 2014.