My primary area of research is in the theory and applications of {\bf automated reasoning.} My work on {\bf conditional rewriting} systems and {\bf equation solving} has been cited in several influential surveys on Term Rewriting (e.g. Handbook of Logic in Computer Science, vol. 2, Oxford University Press pp. 101-107., and Handbook of Logic in Artificial Intelligence vol. 1, Oxford University Press, pp. 356, 360). In the last few years, I have made some useful contributions in proving {\bf termination} properties of systems having associative and commutative functions (like $+,*$), a problem that has remained open for more than 10 years.

More recently, I have begun working extensively on the application of automated reasoning in verification of safety critical systems (both hardware circuits and programs). A Centre for Formal Design and Verification ( has been set up at IIT Bombay in March 1999 and we are currently working on several projects including the formal specification and automated synthesis of software for process control systems.

I am one of the founding members of the International Federation for Information Processing (IFIP) Working Group on Term Rewriting (WG 1.6). In India, I have been invited to give several tutorials related to my research. I have been on the Program Committee of the prestigious {\bf FSTCS} international conference many times and was honoured to be the co-chair of the Program Committee in 1997. I am an active member of the Indian Association for Research in Computing Science (IARCS) and a member of the First Steering Committee of this association.

My secondary research interests is in Computer Networks with a focus on Security and Management. I have guided several Master's theses in these areas- for example one on Specification and Verification of Authentication Protocols, one on Integrated Intelligent System and Network Management, one on Multi-Protocol Label Switching and an ongoing one on a formal model for Policy based Network Management. I have given many invited lectures and tutorials and short term courses on Network Security, Java and Distributed Computing. My interest in this area has also allowed me to contribute right from the planning, to the purchase, installation, testing and maintenance of IIT Bombay's extensive campus network with an optical fibre backbone with ATM and Ethernet switches, and 3 WAN links providing reliable and fast access to Internet.