Research Interests

I focus on program synthesis techniques that automatically generate correct and efficient software programs, with a particular emphasis on scalability. Overall, my research aims to advance software engineering and cybersecurity through the use of program synthesis.

For more information about my research, please visit google scholar, blogs.



  • MADUSA: mobile application demo generation based on usage scenarios, Jaehyung Lee, Hangyeol Cho, Woosuk Lee, Journal of Automated Software Engineering 2023
  • Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting, Jaehyung Lee, Woosuk Lee, In Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS) 2023


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