CA208 Logic
CA320 Computability & Complexity
CA448 Compiler Construction 1
CA267 Software Testing
CA417 Computer Graphics