Welcome to my home! Thank you for visiting my
homepage. I am working as a Post Doctoral Researcher at University of California, Los Angeles with Rupak Majumdar and Paolo Tabuada.
Before that, I have completed my Ph.D. studies
under the
supervision of Dr. Luca de Alfaro.
I spent the summer of 2009 in
SRI International where my mentor was Natarajan Shankar.
I spent the summer of 2007 in
NEC Research Lab, USA where my mentor was Chao Wang .
I spent the summer of 2005 in
Foundations of Software Engineering (FSE) group at
Microsoft Research Lab, Redmond, USA
where my mentor was
Margus Veanes . I did my undergraduate studies from Computer Science and Engineering at
Indian Institue of Technology, Kharagpur.
After that I joined for M.S. Program in CS, where my thesis advisor was
Dr. Pallab Dasgupta
and Dr. P.P. Chakrabarti.
I was a part of Formal Verification group at IIT-KGP from 2002-04.
R & D Interests
- Model Checking : Formal methods for hardware/software verification
- Testing : Formal methods to create test-suites (offline/online), Model-based Testing
- Controller Synthesis : Correct-by-construction controller Synthesis
- Scalable verification techniques as abstraction-refinement,
- Symbolic Data Structures : BDD/MDD/SMT-based symbolic algorithm
- Game Theory : Application of Game theory to hardware and software systems
- Probabilistic System : Solving practical verification problems Markov chains and MDPs
- Embedded Systems : Interface theory for component based design, and verification