Write a Blog >>
Sagar Chaki

Registered user since Sun 30 Oct 2016

Name: Sagar Chaki

Country: United States

Affiliation: Carnegie Mellon Software Engineering Institute

Personal website: http://www.andrew.cmu.edu/~schaki/

Research interests: Formal Methods, Cyber-Physical Systems, Distributed Systems, Security

Contributions

SPIN 2017Committee Member in Program Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile