A3 – Theory & Modelling
CS3230 Design and Analysis of Algorithms
CS3231 Theory of Computation
CS3233 Competitive Programming
CS3234 Logic and Formal Systems
CS3235 Introduction to Computer Security
CS4231 Parallel and Distributed Algorithms
CS4235 Computational Geometry
CS4236 Principles of Computer Security
CS4237 Systems Modelling and Simulation
CS5206 Foundation in Algorithms
CS5230 Computational Complexity
CS5231 Cryptographic Techniques & Data Security
CS5232 Formal Specification & Design Techniques
CS5233 Simulation and Modelling Techniques
CS5235 Approximation Algorithms
CS5237 Computational Geometry and Applications
CS5238 Combinatorial Methods in Bioinformatics
CS5239 Computer System Performance Analysis
| 
