I am a full professor at the School of Computing, KAIST, Korea. I am interested in problems that arise at the boundaries between programing languages (PL) and machine learning (ML). In particular, I work on theoretical and practical ML/PL problems on probabilistic programming and general probabilistic inference. I also have been working on developing useful program-analysis algorithms that combine logic-based PL techniques with data-driven ML techniques.
My email address is hongseok00@gmail.com. My CV can be found here.
I help the graduate studies of Gyeongwon Jung, Hyunsu Kim (with Prof Juho Lee), Taeyoung Kim, Heesan Kong (with Prof Kee-Eung Kim), Hyoungjin Lim, Sangho Lim, Seonghun Park, and Seokin Seo (with Prof Kee-Eung Kim), and Sungkuk Shin (with Prof Kee-Eung Kim) at KAIST.