My research interests include formal verification, logic, reasoning, and distributed systems. I am currently looking for doctoral positions in these topics. Publications: Model Checking Controllers with Predicate Inputs. Santhosh Prabhu M and Pallab Dasgupta. In IEEE International Conference on VLSI Design, 2013 Debugging Assertion Failures using a Refrence Model. Kajori Banerjee, Santhosh Prabhu M and Pallab Dasgupta. Accepted for publication in India Software Engineering Conference, 2013

Department of CSE, IIT Kharagpur