Jaewoo Kim (김재우)

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

Contact

• Email: jaewoo.kim@kaist.ac.kr
• GitHub: Jaewookim08
• Bibliography: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

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

Experiences

• 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.