Course Details

Select a teaching programme:
MSc Computer Science
Core courses
The course work for the programme will consist of five
categories, as follows.
- Basic Programming Laboratory
- Programming Languages
- Design and Analysis of Algorithms
- Theory of Computation
- Mathematical Logic in Computer Science
Electives
The electives that have been offered at CMI in recent years include: - 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
To earn an MSc, a student must complete the equivalent of 16 regular courses, normally over a period of four semesters. These 16 courses must include all five Core courses and a project/dissertation. The project/dissertation is equivalent to four regular courses. At the discretion of the admissions committee, a student who has already completed any of the core courses as an undergraduate may substitute these courses by a suitable number of alternative courses to make up the overall course requirements. |