Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
Sagar Chaki

Registered user since Sun 30 Oct 2016

Name:Sagar Chaki
Country:United States
Affiliation:Carnegie Mellon Software Engineering Institute
Research interests:Formal Methods, Cyber-Physical Systems, Distributed Systems, Security

Contributions

Show activities from other conferences

ISSTA 2017-profile
View general profile