Graduate (at the University of Utah)

  • Spring 2010
    • Functional Programming (CS 6510) [3.0]
    • Parallel Programming for GPU's (CS 6963) [3.0]
    • CSL (Computer Systems) Seminar
    • Static Analysis Seminar

  • Fall 2009
    • Operating Systems (CS 6460) [4.0]
    • Advanced Compilers (CS 6470) [3.0]
    • CSL (Computer Systems) Seminar

  • Spring 2009
    • Programming Language Semantics (CS 7520) [3.0]
    • Programming Language Analysis (CS 6969) [3.0]
    • Foundations of Computer Science (CS 6100) [3.0]
    • Static Analysis Seminar

  • Fall 2008
    • Computer Architecture (CS 6810) [3.0]
    • Formal Methods of System Design (CS 6110) [3.0]
    • Independent Study (under Prof. Matthew Might) [3.0]
    • Department Colloquium [2.0]
    • Formal Verification Reading Group (Decision Procedures)
    • CSL (Computer Systems) Seminar

Undergraduate (at Mumbai University)

The syllabus for each semester of my undergraduate engineering course is available from the links below. All courses in semesters I through VI were mandatory. In case of semester VII and VIII, the elective I chose is indicated.

  • Semester I (2003-04)
    • Applied Mathematics - I
    • Applied Science - I
    • Basic Electrical and Electronics Engineering
    • Computer Programming - I
    • Engineering Mechanics
    • Workshop Practice - I

  • Semester II (2004)
    • Applied Mathematics - II
    • Applied Science - II
    • Communication Skills
    • Computer Programming - II
    • Engineering Drawing
    • Workshop Practice - II

  • Semester III (2004-05)
    • Applied Mathematics - III
    • Data Structures
    • Digital Logic and Applications
    • Discrete Structures
    • Electrical Networks
    • Electronic Devices and Circuits

  • Semester IV (2005)
    • Analysis of Algorithms
    • Applied Mathematics - IV
    • Computer Organisation and Architecture
    • Database Management Systems
    • Industrial Management and Economics
    • Principles of Communication Engineering

  • Semester V (2005-06)
    • Applied Mathematics - V
    • Computer Networks
    • Computer Programming Laboratory
    • Digital Communication
    • Microprocessors
    • Presentation and Communication Techniques
    • Theoretical Computer Science

  • Semester VI (2006)
    • Advanced Databases
    • Computer Graphics
    • Object Oriented Analysis and Design
    • Operating Systems with Unix
    • Systems Programming
    • Web Technology

  • Semester VII (2006-07)
    • Advanced Microprocessors
    • Digital Signal Processing
    • Intelligent Systems
    • Pattern Recognition (Elective - I)
    • Software Engineering

  • Semester VIII (2007)
    • Distributed Systems
    • Multimedia Systems
    • Neural Networks (Elective - II)
    • System Security