Hangyeol Cho (조한결)
Ph.D. Student, Programming Systems Lab., College of Computing, Hanyang University
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
Vita
- Mar. 2020 - current, Ph.D. Student, Programming Systems Laboratory, Computer Science and Engineering, Hanyang University ERICA Campus (advisor: Prof. Woosuk Lee)
- Mar. 2013 - Feb. 2020, B.S., College of Computer Science and Engineering, Hankyong National University
- Mar. 2009 - Feb. 2011, Apgujeong High School
Publications
- 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
Contact
- Email: saijhg8 at gmail.com, pigon8 at hanyang.ac.kr
- Address: Rm 418-2, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588