I am an Undergraduate Student at KAIST School of Computing. I am interested in formally defining and proving program behavior using logic.
- Email: firstname.lastname@example.org
- GitHub: Jaewookim08
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (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.