Woosuk Lee (이우석)
Assistant professor, Programming Systems Lab., College of Computing, Hanyang University
news
Jun 20, 2022 | I am looking for motivated graduate/undergraduate students and postdocs to work with. Please see our research projects |

Research Interests
My research interest spans all aspects of programming systems with the goal of improving software quality and programmer productivity. In particular,
- Sound, Scalable, Precise & User-friendly Static Analysis
- Scalable Program Synthesis
For more information about my research, please see publications, talks, and projects.
Vita
- Sep. 2018 - current, Assistant Professor, Hanyang University
- Jan. 2017 - Aug. 2018, Postdoctoral Fellow, University of Pennsylvania (advisor: Prof. Mayur Naik).
- Mar. 2016 - Jan. 2017, Postdoctoral Fellow, Georgia Institute of Technology (advisor: Prof. Mayur Naik)
- Mar. 2009 - Feb. 2016, Ph.D. Programming Research Laboratory, Seoul National University (advisor: Prof. Kwangkeun Yi)
- Feb. 2009, B.S. School of Computer Science and Engineering, Seoul National University
People
PhD Students
- DongKwon Lee (co-advised with Kwangkeun Yi)
- Jehyung Lee
- Hangyeol Jo
Undergrads
- Hyeongchang Lee
- Beomsu Kwon
- Minseo Kim
Professional Activities
Program Committee
- POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages (PC & SRC)
- PLDI 2021: 42th ACM SIGPLAN Conference on Programming Language Design and Implementation
- ICSE 2020 (Software Engineering in Practice track): 42nd International Conference on Software Engineering
- ESOP 2020: European Symposium on Programming
- PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Reviewer
- IEEE Transactions on Software Engineering
- ACM Transactions on Programming Languages and Systems
Vulnerabilities Reported
- CVE-2015-8106 (Latex2rtf format string vulnerability)
- CVE-2015-8106 (a2ps format string vulnerability)
Contact
- Email: woosuk at hanyang.ac.kr
- Address: Rm 403, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588