Hongseok Yang

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 hongseok00@gmail.com. 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.