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.


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