M.Tech in Computer Science & Engineering:Formal Methods in Software

Indian Institute of Technology Delhi
In New Delhi

Price on request
You can also call the Study Centre
11265... More

Important information

Typology Master
Location New delhi
  • Master
  • New delhi

Where and when
Starts Location
On request
New Delhi
Indian Institute of Technology Delhi,Hauz Khas, New Delhi, 110016, Delhi, India
See map
Starts On request
New Delhi
Indian Institute of Technology Delhi,Hauz Khas, New Delhi, 110016, Delhi, India
See map

Course programme

M.Tech in Computer Science & Engineering:Formal Methods in Software

The M. Tech. programme in Computer Science and Engineering (code: MCS) is a Masters programme offered to students who are interested in advanced learning and research in any area of computer science.

Applicants to this programme are expected to already have an excellent background in computer science. (It is not a skills conversion programme).

The programme is a 60-credit degree programme, which is usually spread over 4 semesters for a full-time student. About two-thirds of the credits involve coursework, and the remainder consists of project work. The emphasis is on conducting original research and writing a thesis (individually) that reports these results. The programme is flexible enough to allow a student to specialize in any topic of interest by taking elective courses and working on a research project in that area.

Placements have been excellent (100%), and our graduates have been employed at the top research laboratories and companies in the country and even abroad. Starting salaries have ranged up to Rs 10 Lakhs a year.

Students are provided top quality laboratory and infrastructure facilities. We endeavour to provide financial support at Master's level stipends to all GATE-qualified full-time students. Full-time students not resident in Delhi are given priority in allotment of hostel accommodation.
. CSD310: Mini Project
· CSD411: Major Project Part 1 (CS)
· CSD412: Major Project Part 2 (CS)
· CSD745: Minor Project (MT)
· CSD750: Minor Project (CO)
· CSD851: Major Project Part 1 (CO)
· CSD852: Major Project Part 2 (CO)
· CSD853: Major Project Part 1 (CO)
· CSD854: Major Project Part 2 (CO)
· CSD893: Major Project Part 1 (MT)
· CSD894: Major Project Part 2 (MT)
· CSD895: Major Project (M.S. Research)
· CSL101: Introduction to Computers and Programming
· CSL102: Introduction to Computer Science
· CSL105: Discrete Mathematical Structures
· CSL201: Data Structures
· CSL211: Computer Architecture
· CSL302: Programming Languages
· CSL303: Logic for Computer Science
· CSL316: Digital Hardware Design
· CSL332: Introduction to Database Systems
· CSL356: Analysis and Design of Algorithms
· CSL361: Numerical and Scientific Computing
· CSL362: Simulation and Modelling
· CSL373: Operating Systems
· CSL374: Computer Networks
· CSL433: Artificial Intelligence
· CSL630: Data Structures and Algorithms (MT)
· CSL632: Introduction to Data Base Systems (MT)
· CSL633: Resource Management in Computer Systems (MT)
· CSL665: Introduction to Logic and Functional Programming (MT)
· CSL671: Artificial Intelligence (MT)
· CSL672: Computer Networks (MT)
· CSL705: Theory of Computation
· CSL718: Architecture of High Performance Computers
· CSL719: Synthesis of Digital Systems
· CSL728: Compiler Design
· CSL740: Software Engineering
· CSL750: Foundations of Automatic Verification
· CSL758: Advanced Algorithms
· CSL771: Database Implementations
· CSL781: Computer Graphics
· CSL783: Digital Image Analysis
· CSL812: System Level Design and Modelling
· CSL821: Reconfigurable Computing
· CSL830: Distributed Computing
· CSL831: Semantics of Programming Languages
· CSL832: Proofs and Types
· CSL840: Computer Vision
· CSL847: Distributed Algorithms
· CSL851: Algorithmic Graph Theory
· CSL852: Computational Geometry
· CSL853: Complexity Theory
· CSL854: Approximation Algorithms
· CSL855: Models of Computation
· CSL856: Mathematical Programming
· CSL858: Advanced Computer Networks
· CSL859: Advanced Computer Graphics
· CSL860: Special Topics in Parallel Computation
· CSL861: Special Topics in Hardware Systems
· CSL862: Special Topics in Software Systems
· CSL863: Special Topics in Theoretical Computer Science
· CSL864: Special Topics in Artificial Intelligence
· CSL865: Special Topics in Computer Applications
· CSL866: Special Topics in Algorithms
· CSL867: Special Topics in High Speed Networks
· CSL868: Special Topics in Database Systems
· CSL869: Special Topics in Concurrency
· CSN110: Introduction to Computer Science & Engineering
· CSP301: Design Practices in Computer Science
· CSP315: Embedded System Design Laboratory
· CSP601: Software Systems Laboratory (MT)
· CSR310: Professional Practices (CS)
· CSS310: Independent Study (CS)
· CSS799: Independent Study (MT)
· CST410: Practical Training (CS)
· CSV880: Special Module in Prallel Computation
· CSV881: Special Module in Hardware Systems
· CSV882: Special Module in Software Systems
· CSV883: Special Module in Theoretical Computer Science
· CSV884: Special Module in Artificial Intelligence
· CSV885: Special Module in Computer Applications
· CSV886: Special Module in Algorithms
· CSV887: Special Module in High Speed Networks
· CSV888: Special Module in Database Systems

· CSV889: Special Module in Concurrency
CSC410: Colloquium (CS)

Students that were interested in this course also looked at...
See all