ESEC/FSE 2021 (series) / Taeho Kim
![Taeho Kim](https://2021.esec-fse.org/getProfileImage/taehokim/c0d438e3-dc28-4e2c-8af8-8a69c24dde0a/small.jpg?1711480979000)
Registered user since Wed 19 Jun 2019
Name:Taeho Kim
Country:South Korea
Affiliation:Electronics and Telecommunications Research Institute
Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software
Contributions
ESEC/FSE 2021-profile
View general profile
View general profile