프로그래밍 언어 및 기계학습 원리 연구실

I am a professor at the School of Computional Sciences, KIAS, 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 [email protected]. My CV can be found here. I help the graduate studies of Gyeongwon Jung, Taeyoung Kim, Heesan Kong (with Prof Kee-Eung Kim), Sangho Lim, Seonghun Park, and Sungkuk Shin (with Prof Kee-Eung Kim) at KAIST.