Sagar Chaki's Homepage

My research area is the theory and applications of formal methods to improving software quality. In particular, I am interested in specification, verification, and validation of software, with particular focus on concurrent software, real-time and cyber-physical system, and software security. My main projects are START and DISCOVER. I have also been involved in the following exploratory projects aimed at software understanding and assurance: I co-developed Linear Decision Diagrams. Here is a more or less up-to-date resume.



Conference, Symposium


Report, Note, Whitepaper

Previous Publications     Ph.D. thesis

Here are my SEI and CMU CS webpages.