Jeonghyeon Kim (김정현)

Jeonghyeon Kim

I am an Undergraduate Intern at Concurrency and Parallelism Laboratory, KAIST School of Computing. After I received my bachelor’s degree in Computer Science from the University of Seoul, I joined Concurrency and Parallelism Laboratory to find a better way to reason concurrent and parallel systems.

I started my research career by participating in Jaehwang’s HP++ project, an extension of Hazard pointers for better applicability. On top of that, I am currently working on a novel way to improve the hazard pointer scheme even more, achieving both performance and robustness.

Moreover, I am interested in verifying critical systems, such as distributed systems and file systems. Specifically, I am working with Northeastern University to develop a framework to verify the safety and liveness of a distributed Key-value store.



  • (2022) B.S. in Computer Science. University of Seoul.



  • Research Intern, Intelligent Robot Lab, University of Seoul, December 2020 - June 2021.
    • Topic: Speaker Verification with d-vector, x-vector and Prototypical Network
  • Research Intern, Global Urban & Infrastructure Research Center, University of Seoul, September 2020 - November 2022.
    • Topic: Development of Real-Time Analysis and Monitoring Technology for Traffic Safety Big Data (with Korea Expressway Corporation)

Awards and Honors

  • Academic Excellence Award (Top Student in Spring 2020), University of Seoul, 2020.
  • 14th place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.
  • The Special Award in Auto-driving Car, The World Embedded Software Contest 2020, Hyundai & Ministry of Trade, Industry and Energy, 2021.
  • The Encouragement Award, ‘22 Hyundai Mobis Algorithm Competition, Hyundai Mobis, 2022.