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]