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.
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 in specific domains
Personal Blog: https://jaeho.pl
PL Wiki (From Prosys Lab): https://github.com/prosyslab/pl-wiki/wiki