Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers http://www.cse.iitb.ac.in/~dmd/
Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages. http://www.cs.cmu.edu/~rowan/
Documentation and presentations of projects for the Masters in Computer Science Program (iMCS) at the Quantum Institute, the Indian chapter of the University of Illinois at Urbana-Champaign. http://www.geocities.com/rushabh_d