conf.researchr.org / Sagar Chaki
Registered user since Sun 30 Oct 2016
Name:Sagar Chaki
Country:United States
Affiliation:Mentor Graphics Corporation
Personal website: https://chaki.bitbucket.io/
Research interests:Formal Methods, Cyber-Physical Systems, Distributed Systems, Security
Contributions