NASA Formal Methods 2024 (series) / Eunsuk Kang
![Eunsuk Kang](https://conf.researchr.org/getProfileImage/eunsukkang/2843e69d-88c0-447f-8c4d-e8e1be7863f3/small.jpg?1719000360000)
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
NASA Formal Methods 2024-profile
View general profile
View general profile