Name:Taeho Kim

Country:South Korea

Affiliation:Electronics and Telecommunications Research Institute

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