Name:Taeho Kim

Country:South Korea

Affiliation:Electronics and Telecommunications Research Institute (ETRI)

Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software