![Taeho Kim](https://2020.icse-conferences.org/getProfileImage/taehokim/ff8b5227-09dd-4b00-8d69-bc025366a3c4/small.jpg?1711480979000)
Registered user since Wed 19 Jun 2019
Name:Taeho Kim
Country:South Korea
Affiliation:Electronics and Telecommunications Research Institute (ETRI)
Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software
Contributions
ICSE 2020-profile
View general profile
View general profile