Courses Taught by Abhik Roychoudhury

                CS 3211 Parallel and Concurrent Programming (in 2009-10) Latest Student feedback:  4.2/5.

CS 4271 Critical Systems and their Verification (in 2010-11) Latest Student feedback (2009-10): 4.4/5.

CS 5219 Automated Software Validation (an earlier version)  Latest Student feedback (2010-11):  4.3/5.

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

CS 5201 Foundations of Theoretical CS (past coordinator)

Last updated August 2011.