So-yeon Kim Computer Engineering, Inha Univ Incheon, South Korea Interests System Software Test Coq Web Programming (Frontend & Backend) Open Source Contribution Hits Tech