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) Author of Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems within the Research Papers-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
ESEC/FSE 2020	Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
SPLASH 2020	Committee Member in Reviewers/Judges within the Student Research Competition-track
SEAMS 2020	Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
SEAD 2019	Author of Challenges in Secure Engineering of Critical Infrastructure Systems within the SEAD 2019-track Committee Member in Program Committee within the SEAD 2019-track
FormaliSE 2019	Session Chair of Session 3 (part of FormaliSE 2019) Social Media Chair in Organizing Committee within the FormaliSE 2019-track Committee Member in Program Committee within the FormaliSE 2019-track
‹Programming› 2019	Committee Member in Program Committee within the Research Papers-track
ICSE 2020	Author of Teaching Software Engineering for AI-Enabled Systems within the ICSE 2020 Posters-track Author of Teaching Software Engineering for AI-Enabled Systems within the Software Engineering Education and Training-track Author of Synthesis of Assurance Cases for Software Certification within the New Ideas and Emerging Results-track
ICSE 2019	Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track Travel Grants Chair in Organizing Committee