Field of Specialization

• Artificial Intelligence Techniques: Heuristic search and Automated Problem Solving Methods, Expert Systems, Intelligent Information System

• CAD for VLSI :Logic and High Level Synthesis, Simulation, Verification.

Research Project Guidance

The following PhD students have completed their thesis

• Methods for Synthesis of PLA-Based FSMs, by C. Rama Mohan.

• Heuristic Search Stratagies for Multiobjective and Agent Searching Frameworks, by P Dasgupta(Jointly with Professor S.C.Desarkar)

• Complexity Analysis and Algorithms for Data Path Synthesis Problems, by C.A.Mandal.

• Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems by Jatindra K Deka (jointly with Dr Pallab Dasgupta)