Fall 2009
- CS1050 – Constructing Proofs
- CS1301 – Intro to Computing
- CS1315 – Intro to Media Computation
- CS1316 – Representing Structure and Behavior
- CS4001 – Computing & Society
- CS4210 – Advanced Operating Systems
- CS4400 – Intro to Database Systems
- CS4635 – Knowledge-Based AI
- CS6210 – Advanced Operating Systems
- CS6300 – Software Processes
- CS6340 – Software Analysis & Test
- CS6400 – DB Sys Concepts & Design
- CS6456 – User Interface Software
- CS6750 – Human-Computer Interaction
