CS264: Software Design
CS357: Software Verification
CS320: Computer Network
CS240: Operating Systems, Communications and Concurrency
CS335: Software Engineering and Software Process