Write a Blog >>
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

FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
Show activities from other conferences

Using general profile