Jaewoo Kim (김재우)

Jaewoo Kim

I am an Undergraduate Student at KAIST School of Computing. I am interested in formally defining and proving program behavior using logic.



  • (2024) B.S. in Computer Science. KAIST (expected).


  • Intern, Programming Systems Lab, Kaist, December 2021 ~ Feburary 2022
    (topic: Developing Infer-based static analyzer for checking type confusion bugs)

  • Client developer, Shiftup Corp, July 2021 - August 2021.