4 credits (3-0-2) Pre-requisites: COL351 OR Equivalent The RAM model and its limitations, Introduction to alternate algorithmic models Parallel models like PRAM and Interconnection networks;… Read More »COL757 Model Centric Algorithm Design
3 credits (3-0-0) Pre-requisites: COL351 OR Equivalent Overlaps with: MTL103, MTL704 Linear programming: introduction, geometry, duality, sensitivity analysis. Simplex method, Large scale optimization, network simplex.… Read More »COL756 Mathematical Programming
3 credits (3-0-0) Pre-requisites: COL351 OR Equivalent NP-hardness and approximation algorithms. Different kinds of approximability. Greedy algorithm and local search with applications in facility location,… Read More »COL754 Approximation Algorithms
3 credits (3-0-0) Pre-requisites: COL352, COL705 OR Equivalent Modeling computation (Finite state machines, Non-determinism, Turing machines, class P etc.), NP and NP-completeness, Diagonalization (Time hierarchy… Read More »COL753 Complexity Theory
4 credits (3-0-2) Pre-requisites: COL351 OR Equivalent Geometric Fundamentals: Models of computation, lower bound techniques, geometric primitives, geometric transforms Convex hulls: Planar convex hulls, higher… Read More »COL752 Geometric Algorithms
3 credits (3-0-0) Pre-requisites: COL351 OR Equivalent Overlaps with: MTL468 Algorithms for computing maximum s-t flows in graphs: augmenting path, blocking flow, push-relabel, capacity scaling… Read More »COL751 Algorithmic Graph Theory
4 credits (3-0-2) Pre-requisites: COL226, COL352 OR Equivalent A selection from the following topics, and experiments with the mentioned tools: Review of first-order logic, syntax… Read More »COL750 Foundations of Automatic Verification
3 credits (0-0-6) Pre-requisites: COL215 OR Equivalent Being primarily a laboratory course, it would consist of a series of assignments that would increase in complexity… Read More »COP745 Digital System Design Laboratory
3 credits (0-0-6) Pre-requisites: 60 Research and development oriented projects based on problems of practical and theoretical interest. Evaluation done based on periodic presentations, student… Read More »COD745 Minor Project
4 credits (3-0-2) Pre-requisites: COL106, COL226 Introduction to Software Engineering, Software Life Cycle models and Processes, Requirement Engineering, System Models, Architectural Design, Abstraction & Modularity,… Read More »COL740 Software Engineering
