Jaeho Kim

About

I am a master student at School of computing, KAIST. Currently, I am a member of Programming Systems Lab in KAIST advised by Kihong Heo.

Research Interests

My research interests are related to improving programming systems using program analysis, synthesis, verification methods based on programming language theory. In particular,

• Program Analysis for automatically detecting software bugs and vulnerabilies
• Program Verification for automatically reasoning correctmess of program
• Compiler Optimization using static analysis
• Scalable Program Synthesis for domain specific language

Education

• M.S. in School of Computing, KAIST, Sep. 2022 - Present
• B.S. in Dept. of Computer Science and Engineering, Korea University, Mar. 2018 - Aug. 2022
• High school diploma, Korea Science Academy of KAIST, Mar. 2015 - Feb. 2018