Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Eunsuk Kang

Registered user since Tue 24 Apr 2018

Name: Eunsuk Kang

Country: United States

Affiliation: Carnegie Mellon University, USA

Personal website: https://eskang.github.io

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

ASE 2020-profile
View general profile