Professional Activities

• Foundations of Computing Science under Prof. Pallab Dasgupta
• Programming and Data Structures Theory under Prof. Pallab Dasgupta
• Advanced Graph Theory under Prof. Aurobinda Gupta
• Distributed Systems under Prof. Pallab Dasgupta
• CAD for VLSI under Prof. Partha Pratim Chakrabarti
• Artificial Intelligence under Prof. Partha Pratim Chakrabarti
• Algorithms under Prof. Partha Pratim Chakrabarti and Prof. Sujoy Ghosh

I have taught topics like Model Checking, Temporal Logics, Constraint Satisfaction Problems, LISP, PROLOG, Neural Networks for TA.

Other Activities:

• Presented "Backward Reasoning with Formal Properties: A methodology for bug isolation on simulation traces", at the Asian Test Symposium (ATS) Conference, November 2011, held at New Delhi.
• Gave a talk on "Trace-Enabled Formal Verification - An approach for Formal Verification of Post-Silicon Debug and Bug-Fixing" at Intel Technology India Pvt. Ltd., Bangalore in August 2010.
• Presented "A Study of Modeling Techniques in use in Digital and Mixed-Signal Domains for Semi-Formal Verification", at the IEEE TechSym Conference, April 2010, held at IIT Kharagpur.
• 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 2009 and 2010.
• Reviewer for Design Automation Conference (DAC)
  Back to Home