Eunsuk Kang - ASE 2020

Mon 21 - Fri 25 September 2020 Melbourne, Australia

Registered user since Tue 24 Apr 2018

Name:Eunsuk Kang

Country:United States

Affiliation:Carnegie Mellon University, USA

Research interests:Software design, architecture, modeling, verification, safety, security.

Contributions

ASE 2020	Committee Member in Program Committee within the Research Papers-track Session Chair of Formal Methods (2) (part of Research Papers) Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Show activities from other conferences