[MAIN PAGE] [TEACHING] [RESEARCH] [PUBLICATIONS] [TOOLS] [SERVICE] [TSUNAMi PROJECT]
Graduate Students and Post-docs
Homepage (with pointers to a sample course)
Front Cover and Back Cover
Chinese Translation (appeared 2011)
CS 4239 Software Security Lesson Plan 2015-16.
CS 4218 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]
CS 3211 Parallel and Concurrent Programming (latest 2012-13).
CS 4271 Critical Systems and their Verification (in 2010-11).
CS 5219 Automated Software Validation (an earlier version).
CS 6880 Advanced Topics in Software Engineering (in 2011-12).
CS 4272 Hardware Software Co-design
CS 2104 Programming Language Concepts
CS 1102 Data Structures and Algorithms
Under-graduate Student Supervision
Last updated 1 July 2014.