CS264: Software Design
CS357: Software Verification
CS320: Computer Network
CS355: Theory of Computation & CS370: Computation and Complexity & CS310: Programme Languages and Compilers