Sagar Chaki

Registered user since Sun 30 Oct 2016

Name:Sagar Chaki
Country:United States
Affiliation:Mentor Graphics Corporation
Research interests:Formal Methods, Cyber-Physical Systems, Distributed Systems, Security

Contributions

HILT 2018 Committee Member in Program Committee within the HILT 2018-track
SPIN 2017 Committee Member in Program Committee
VMCAI Author of Model Checking with Multi-Threaded IC3 Portfolios within the VMCAI-track