CS357: Software Verification
CS335: Software Engineering and Software Process & CS264: Software Design
CS355: Theory of Computation & CS370: Computation and Complexity & CS310: Programme Languages and Compilers