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
4 credits (3-0-2) Pre-requisites: COL331 Overview of Cloud Computing, Virtualisation of CPU, Memory and I/O Devices; Storage Virtualisation and Software Defined Storage (SDS), Software Defined… Read More »COL733 Cloud Computing Technology Fundamentals
4 credits (3-0-2) Pre-requisites: COL331 Introduction to Virtualization and Cloud Computing; Binary Translation; Hardware Virtualization; Memory Resource Management in Virtual Machine Monitor; Application of Virtualization;… Read More »COL732 Virtualization and Cloud Computing
4 credits (3-0-2) Pre-requisites: COL106, COL331 Parallel computer organization, Parallel performance analysis, Scalability, High level Parallel programming models and framework, Load distribution and scheduling, Throughput,… Read More »COL730 Parallel Programming
4.5 credits (3-0-3) Pre-requisites: COL 216, COL 216 OR Equivalent Overlaps with: COL728 Program representation – symbol table, abstract syntax tree; Control flow analysis; Data… Read More »COL729 Compiler Optimization
4.5 credits (3-0-3) Pre-requisites: COL 216, COL 226 OR Equivalent Compilers and translators; lexical and syntactic analysis, top-down and bottom up parsing techniques; internal form… Read More »COL728 Compiler Design
