M Tech Seminar Topics, 2005
Varsha Apte
Research Interests:
Performance Evaluation of Computer Systems and Networks

Varsha-1:  Performance analysis of multi-tiered software and hardware servers.
Varsha-2:  Admission/Overload Control of Web Servers.
Varsha-3:  Self-tuning systems
Varsha-4:  QoS for Multimedia in Wireless Networks.

Pushpak Bhattacharya
Research Interests:
Natural Language Processing, Machine Learning, Web Knowledge Processing, Neural Nets

Pushpak1:  Statistical and Machine Learning Techniques for Natural Language Processing in the
                  large- the web.
The web contains mostly text, making natural language processing in the large an extrememly
important task. The traditional methods of language understanding do not scale up well when
taken to the web. In this seminar we propose to study basic language processing techniques and
new ones based on statistical, knowledge based and machine learning methods. The existing work
going on here will also be critically examined.

Pushpak2 : Knowledge Based, Example Based and Statistical Methods of Machine
        Translation (MT).
MT is and has always been a key problem for any multilingual setup with vast amount of text
information like the web and otherwise. At IITB we  have a long tradition and national and
international visibility MT research. The manifold techniques of automatic translation is the focus 
of this study.

Pushpak3 :  Natural Language Resources for Information Extraction
While Information Retrieval (IR) has become almost standard in today's  internet scenerio,
satisfactory information extraction (IE) is still a  far cry. Sophisticated natural language
processing resources and techniques for procssing them- like knowledge rich dictionaries,
ontologies, knowledge networks-are believed to be crucial for this. This study will focus on
theories and applications of knowledge networks- with emphasis on wordnets. IITB has been a
major center for this reasearch.

Pushpak4 :  Meaning Based Multilingual Search Engine
This has been an ongoing project for last two years. The goal is to rid the search process from the
restriction of query and documents being the same. The search is carried out on the meaning
representation of the  query and the retrieved document also is obtained through search on the
meaning representation. The study will focu on a survey of techniques for  realizing advanced
meaning based multilingual search.

M.R. Bhujade
Research Interests:
Hardware verification, Neural networks

Bhujade1 : Instruction Level parallelism
Bhujade2 :
Bhujade3 :

S. Biswas
Research Interests:
Programming Languages, Optimizing and Parallelizing Compilers, Distributed systems

Biswas1 :     Insturuction Scheduling for Pipelined Architechres.
Biswas2 :     Machine Descriptions for Retargetable Compilation.
Biswas3 :     Array Liveness Analysis.

Soumen Chakrabarti
Research Interests:
Hypertext databases, Data mining

Pl note, at most three topics will be finally offered.
Soumen1 : Integrated query processing for text, XML, and relational data
Soumen2 : Relationship and frame discovery from natural language text
Soumen3 : Statistical language models and applications
Soumen4 : Integrating schema and data from heterogeneous sources

Supratik Chakraborty
Research Interests:
Formal techniques for analysis, verification, validation of digital systems, Asynchronous timing analysis.

  Supratik1 : Verification of timed systems
  Supratik2 : Software model checking
  Supratik3 : Reachability analysis for sequential circuits

Sharat Chandran
Research Interests:
Graphics, Computer Vision, Computational Geometry, Parallel Algorithms, Visualization,
Medical Imaging

Sharat1 :  Point Based Rendering.
Sharat2 :  Fleshing skeletons and Animation systems
Sharat3 :  Tracking
Sharat4 :  Motion Capture Reconstruction
Sharat5 :  Multiprojector multicamera systems
Sharat6 :  Rendering Engine
Sharat7 :  Medical & Dental Imaging  Suite
Sharat8 :  Computational Biology
For more information: please visit

D.M. Dhamdhere
Research Interests:
Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers

Dhamdhere1 : Virtual file systems (I might change this to something else or something  more specific)

Dhamdhere 2 : Architecture of Windows XP: The device driver interface

Dhamdhere 3 : In-lining and Identification of duplicate code

A.A. Diwan
Research Interests:
Algorithms, Theoretical Computer Science

Diwan1 : Graph Theory/Algorithms I
Diwan2 : Graph Theory/Algorithms II
Diwan3 : Graph Theory/Algorithms III

R.K. Joshi
Research Interests:
Object Oriented Systems, Distributed Systems, Software Architectures

Joshi1 : Connectors in Software Architectures
Joshi2 : Synchronization Problems and their classification
Joshi3 : Type Systems for Aspects
Joshi4 : Aspect mining from Object Oriented Code

Uday Khedker
Research Interests:
Programming Languages, Compilers, Data Flow Analysis.

Uday1 :   Specification Languages for Optimizers.
Uday2 :   Interprocedural Constant Propagation.
Uday3 :   Tools and Processes for Configuring and Building GCC.

G. Nagaraja
Research Interests:
Machine Intelligence, Pattern Recognition

Nagaraja1 : Hybrid Approaches to Learning :
                  This topic is about more than one learning technique and how to combine different
                  learning approaches for specific tasks.
Nagaraja2 : Grammatical Inference and Applications :
                   This is about learning grammar models such as CFG's from sequence data and
                   application to bio-informatics
Nagaraja 3: Computational Learning Theory :
                   This topic is about formal computational aspects of Machine Learning algorithms.

Krithi Ramamritham
Research Interests:
Real time systems, Databases.

Krithi1 : Tracking Dynamic Data
Krithi2 : Data Management in Sensor Networks
Krithi3 : RT SUpport for Automotive EMbedded Systems

Abhiram Ranade
Research Interests:
Algorithms and Combinatorial Optimization

Drawing sketches to explain ideas is a very common activity.  How to
use a computer to sketch, and have the computer interprete your
drawings is the subject of this seminar. Unlike a paper on which you
sketch, if you sketch on a computer you can get immediate feedback --
which can perhaps simplify your subsequent drawing. A lot of
interesting programs have been written for doing this, and there is
also some exciting theory.

The prerequisites: competence in continuous mathematics (e.g. image
processing, pattern recognition) will be useful but not essential if
you have very strong motivation to learn these areas when needed.

Could extend to an MTech project. This will also require strong
mathematical abilities as well as good programming skills.

Search: sketching, recognition of hand drawn diagrams

This is a Linear Programming based technique which is used in many
optimization problems such as scheduling and packing. The seminar
will comprise studying the technique including the underlying
mathematics and also some representative applications.

Strong interest in algorithm design is necessary. Familiarity with
linear programming will be useful, but can be compensated by strong

Could extend into an MTech project, either involving the theoretical
aspects of the method or application to real life problems.

Search: column generation

Krishna S
Research Interests:
DNA Computing, Membrane Computing, Grammar Systems, Combinatorics on words, Formal Methods,
Duration calculus and Logics of Time.

  Krishna1: Brane Calculi
  Krishna2: Verfication of Asynchronously communicating web services
  Krishna3 : Partial order based models for concurrent systems
Krishna4 : Evolutionary Programming
  Krishna5 : Membrane Computing
  For details browse http://www.cse.iitb.ac.in/~krishnas/seminar.php

A. Sanyal
Research Interests:
Functional Programming, Compilers, and Programming Languages

Sanyal1 :     BURS and its Applications
Sanyal2 :    Theorema Proving Using PVS,
Sanyal3 :    Compiled Code Verification

N.L. Sarda
Research Interests:
Databases, Information Systems, Software Engineering
Sarda1 : XML Technologies : to study XML technologies, tools, database features, and its use
              in collaboration; how XMl is used in .NET framework, etc.
Sarda2 : Collaboration techniques : to study new products for structured and unstructured
              collaborations, including groupware, messengers, etc.
Sarda3 : Business Process Analysis and Design : to study work flow models, criteria/techniques
              /tools  for specification, analysis, modeling, design, integration, etc.

G. Sivakumar
Research Interests:
Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems

Siva1 : Termination Orderings
             Proving termination of term rewriting systems (and logic programs) require design of
             well-founded orderings. This seminar will survey various approaches and focus on recent
             efforts to design such orderings for systems with Associative-Commutative operators. 
      Starting points- http://citeseer.ist.psu.edu/kapur00proving.html
Proving Associative-Commutative Termination Using RPO-compatible Orderings
Deepak Kapur, G. Sivakumar, Proc. Automated Deduction in Classical and
NonClassical Logics
- http://citeseer.ist.psu.edu/keiichirou02termination.html
Siva2 : Inductive Theorem Proving
     starting point-

Siva3 : Verifying Security Protocols

starting point- http://portal.acm.org/citation.cfm?id=959026.959029
Siva4 : Indian Language Technologies for Internet
     - dealing with font/unicode
- speech recognition/synthesis

Siva5 :Secure key management in close group communication and security

M. Sohoni
Research Interests:
Combinatorial Optimization, Mathematical Programming, Algorithms
Sohoni1 : Formal models for distributed systems.
Sohoni2 : Topics in Geometric Design
Sohoni3 : Topics in Optimization

S. Sudarshan
Research Interests:
Main memory databases, Query processing and optimization

Sudarshan1 :     Fine-grained authorization Survey different approaches to fine-grained authorization
             - papers:  Rizvi et al (SIGMOD04), Oracle VPD,
Sudarshan2 :     Keyword search on (semi) structured data
             Explore new papers on finding most relevant answers based on proximity aggregation.
              - papers:  Banks VLDB05, Object-Rank (VLDB04), Semex (SIGMOD05)
Sudarshan3 :    Testing Database Applications
             Survey papers on database testing and software testing in general.

Sundar Vishwanathan
Research Interests:
Algorithms, Combinatorics, Complexity Theory.

Sundar1 :   Entropy methods in combinatorics
Sundar2 :   Algorithms for streaming data.