CMI M.Sc. and Ph.D. Computer Science 2026

## CMI M.Sc. and Ph.D. Computer Science — Course Overview The **CMI M.Sc. Computer Science** programme is a rigorous two-year course built for students who want deep command over algorithms, logic, automata, complexity, mathematical foundations, and advanced theoretical computer science. It is designed to support both **serious research preparation** and **high-level technical careers**. The **Ph.D. Computer Science** track is meant for students who want to move into research. It is best suited for candidates with strong mathematical maturity, proof-writing ability, and a genuine interest in advanced computer science. A major strength of the programme is that it does not train students only for routine coding interviews. It develops **structured reasoning, abstraction, and theoretical depth**, which is why CMI remains highly respected among serious CS aspirants.

## Eligibility Criteria — CMI M.Sc. and Ph.D. Computer Science ### M.Sc. Computer Science Candidates should have an **undergraduate degree** such as **B.A., B.Sc., B.E., or B.Tech.** with a **strong background in computer science**. ### Ph.D. Computer Science Candidates should have **B.E./B.Tech./M.Sc./M.Tech.** in **computer science, mathematics, or allied areas**. For the Ph.D. route, strong mathematical maturity and research inclination matter a lot, especially because final selection includes interview-based evaluation.

## Course Curriculum — CMI M.Sc. Computer Science The official M.Sc. Computer Science curriculum is flexible and research oriented. ### Core Courses - Mathematical Toolkit I - Design and Analysis of Algorithms - Theory of Computation - Mathematical Logic ### Electives Offered in Recent Years - Approximation Algorithms - Automata Theory and Verification - Coding Theory - Complexity Theory - Computational Geometry - Concurrent Programming - Cryptography and Security - Data Mining and Machine Learning - Digital Systems Design and Modelling - Discrete Mathematics - Finite Model Theory - Logic, Automata and Games - Logical Foundations of Databases - Model Checking and Systems Verification - Optimization - Probability and Statistics - Program Analysis - Quantitative Automata Theory - Randomized Algorithms - Theorem Proving ### Project / Dissertation The M.Sc. programme also includes a **16-credit project/dissertation**, giving students a research-oriented finishing layer. ### Ph.D. Direction The Ph.D. track is not a fixed taught curriculum in the same sense. It is primarily research based and depends on faculty guidance, topic selection, and long-term research development.

## Key Course Outcomes - strong command over core theoretical CS - better proof-writing ability - improved long-answer technical expression - deeper algorithmic maturity - stronger graph and automata reasoning - research readiness - advanced quantitative problem solving - intellectually disciplined preparation for higher studies or demanding technical roles