Hello ! I am currently a fourth year PhD student at the Department of Computer Science at Carnegie Mellon University.

Before coming to Carnegie Mellon, I was an undergraduate student at the Indian Institute of Technology Kharagpur. I am a Hindu Brahmin hailing from the middle state of Bihar (between Nepal and Bangladesh in India).


New Research Results:

  • Distributed Statistical Model Checking of Biological Systems with applications to T Cell Receptor Pathway (with Ed Clarke, James Faeder, Chris Langmead, Leonard Harris and Axel Legay) [submitted] 
  • Design of a Distributed Reachability Algorithm for Analysis of Linear  Hybrid Automata [HSCC 2008]
  • A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata (with Goran Frehse and Bruce Krogh) [HSCC 2008]
  • Symbolic Approaches to Finding Control Strategies in Boolean Networks (with Chris Langmead) [APBC 2008]