I have done the TAships for Graph Theory,Distributed Systems, Testing and Verification of VLSI Circuits, Formal Systems, and Fundamentals of Computer Science, etc.

I have taught topics like Model Checking, Temporal Logics, and Semantic Web etc. as a part of TAship. I have presented lectures on Model Checking for the summer course on VLSI, organized by the Advanced VLSI Design Laboratory, IIT Kharagpur in the two consecutive years 2008 and 2009.