Courses

I did my MSc in Computer Science in CMI from August 2008 to May 2010.

The courses I had taken are listed below.

First Year

First Semester
  1. Introduction to Programming (in haskell)
  2. Database Systems
  3. Distributed Algorithms
  4. Operating Systems
Second Semester
  1. Logic @ imsc
  2. Verification
  3. Algorithms
  4. Theory of Computation
  5. Computational Complexity @ imsc
  6. Programming Language Concepts

Second Year

Third Semester
  1. Advanced Logic @ imsc
  2. Discrete Mathematics@ imsc
  3. Graph Theory
  4. Advanced Automata Theory (Reading Course not for credit)
Fourth Semester
  1. Thesis on "Topics in Logic and Automata Theory"

last updated on Fri 26 August 2011
Created on 18 June 2009