Teaching experience at E & ECE Dept. and CSE Dept. at IIT Kharagpur over more than 36 years.

Carried out research in formal verification of circuits and systems and automated reasoning in course of own PhD dissertation work and guiding eight research scholars of CSE Dept., IIT Kharagpur.