Sagar Chaki

Registered user since Sun 30 Oct 2016

Name: Sagar Chaki

Country: United States

Affiliation: Mentor Graphics Corporation

Personal website:

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


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