Hyunha Kim (김현하)

Official documents use the spelling “Hyonha Kim”.

CTO, Softopia, Inc.
Adjunct Professor, School of Computer Science, College of Computing, Hanyang University ERICA

---

Research Interests

• Programming Languages
• Program Analysis
• Software Security

Vitae

• Jul. 2017 - current, CTO, SOFTOPIA, Inc.
• Mar. 2017 - current, Adjunct professor, Hanyang University ERICA
• Nov. 2013 - Oct. 2016, Research Fellow, Hanyang University ERICA (advisor: Kyung-Goo Doh)
• Sep. 2013 - Dec. 2013, Instructor, Hanyang University ERICA
• Mar. 2006 - Aug. 2013, Ph.D., Programming Languages Laboratory, Hanyang University (advisor: Kyung-Goo Doh)
• Sep. 2003 - Aug. 2005, M.S., Programming Languages Laboratory, Hanyang University
• Mar. 1999 - Aug. 2003, B.S., Electrical engineering and Computer science, Hanyang University
• Mar. 1996 - Feb. 1999, Dongsan High School

Courses

enrollment notice for CSE1017 and COM2018

• 2026 Fall [COM2018] Object-Oriented Programming
• 2026 Spring [CSE1017] Programming Fundamentals
• 2026 Spring [ELE3029] Automata & Formal Language Theory
• 2025 Fall [COM2018] Object-Oriented Programming
• 2025 Spring [CSE1017] Programming Fundamentals
• 2024 Fall [CSE2016] Programming Methodology
• 2024 Fall [ELE3034] Design & Analysis of Algorithms
• 2024 Spring [CSE1017] Programming Fundamentals
• 2023 Fall [CSE2016] Programming Methodology
• 2023 Fall [COM1002] Programming 1
• 2023 Spring [CSE1017] Programming Fundamentals
• 2022 Fall [COM1002] Programming 1
• 2022 Spring [CSE1017] Programming Fundamentals
• 2022 Spring [COM1003] Programming 2
• 2021 Fall [COM1002] Programming 1
• 2021 Spring [CSE1017] Programming Fundamentals
• 2021 Spring [CUL2101] Artificial Intelligence and Future Society
• 2020 Spring [CSE1017] Programming Fundamentals
• 2018 Fall [CSE3009] Compiler Construction
• 2017 Spring [ENE4014] Programming Languages
• 2013 Fall [CSE1017] Programming Fundamentals
• 2013 Fall [ITE1009] C programming

Contact

Points	info.
Email	lagrato at GMail
Online Pages	Facebook, LinkedIn, Scopus, DBPL, Google Citation, Research Gate, Academic Genealogy