ISSTA 2017 (series) / Sagar Chaki

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
SPIN 2017 | Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile