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

HILT 2018Committee Member in Program Committee within the HILT 2018-track
Show activities from other conferences

Using general profile