Senior Member of Technical Staff
Development of tools and techniques that enable the verification and certification of the safety, security and reliability of component-based software systems.
Previously, I was a doctoral student at Carnegie Mellon University Computer Science Department where I was involved with the MAGIC and the SPEAR projects. Here is a summary of my academic activities as a graduate student, a list of publications and my Ph.D thesis.
- PC: Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2008.
- PC: Workshop on Software Verification and Validation (SVV), 2006.
Publications (recent or significant)
Please visit my CMU webpage for a list of publications.
Architecture Centric Engineering (ACE) initiative
Projects: ComFoRT, Copper, Covert.
- B. Tech. (Hons), Computer Science, Indian Institude of Technology, Kharagpur