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