Hongseok Yang

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 Gwonsoo Che, Hyunsu Kim (with Prof Juho Lee), Taeyoung Kim, Hyoungjin Lim, Sangho Lim, and Seokin Seo (with Prof Kee-Eung Kim) at KAIST, and also the DPhil studies of Junghun Yoo at Oxford. I work closely with Wonyeol Lee, who is now in Stanford, but used to be another important member of my research group at KAIST.