Sagar Chaki

Senior Member of Technical Staff

Key Responsibilities

Development of tools and techniques that enable the verification and certification of the safety, security and reliability of component-based software systems.

Professional Background

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.

Announcements

• May '08: PACC Starter Kit version 2.0 released. Information and Download.
• July '07: ComFoRT version 2.0 released. Information and Download as part of the PACC Starter Kit.
• June '07: Copper version 2.0 released. Information and Download.

Professional Activities

• 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.

Teams

Architecture Centric Engineering (ACE) initiative

Projects: ComFoRT, Copper, Covert.

Education

• PhD, Computer Science, Carnegie Mellon University,
• B. Tech. (Hons), Computer Science, Indian Institude of Technology, Kharagpur

Contact Sagar Chaki