Eunsuk Kang

Registered user since Tue 24 Apr 2018

Name: Eunsuk Kang

Country: United States

Affiliation: Carnegie Mellon University

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

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

Contributions

ASE 2020Committee Member in Program Committee within the Research Papers-track
FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
ESEC/FSE 2020Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
SEAMS 2020Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
SEAD 2019Author 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 2019Session 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› 2019Committee Member in Program Committee within the Research Papers-track
ICSE 2020Author 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 2019Author 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