Jaehyung Lee (이제형)

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.

Vita

• Mar. 2020 - current, Ph.D. Student Programming Systems Laboratory, Hanyang University ERICA Campus (advisor: Prof. Woosuk Lee)
• Sep. 2015 - Feb. 2019, Intern PLASSE Research, Hanyang University ERICA Campus
• Mar. 2015 - Feb. 2019, B.S. School of Computing, Hanyang University ERICA Campus
• Mar. 2012 - Feb. 2014, Pohang Jecheol High School

Publications

• 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

Contact

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