Research Interests

My research interest is in the field of program synthesis, which involves automatically generating programs from high-level specifications or examples. Specifically, I’m interested in combining two different approaches to program synthesis: neural-based program synthesis and enumerate-based program synthesis.

For more information about my research, please visit google scholar



  • MADUSA: mobile application demo generation based on usage scenarios, Jaehyung Lee, Hangyeol Cho, Woosuk Lee, Journal of Automated Software Engineering 2023
  • Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions, Woosuk Lee, Hangyeol Cho, POPL 2023


  • Email: saijhg8 at, pigon8 at
  • Address: Rm 418-2, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588