One of the many nice programmes run by KAIST is the URP: Undergraduate Research Participation. Under URP, undergraudate students can spend from 6 months up to 1 year in research labs (normally populated with graduate students) to persue a specific research agenda.
I’m happy to report that COINSE has its first URP proposal approved. Jinsuk Lim, a double major in math and CS, will be joining the lab to further evaluate the idea of using Monte Carlo Tree Search for stochastic program synthesis, following the work David White and I did for GECCO 2015. Well done, Jinsuk :)