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