Woosuk Lee (이우석)
Associate professor, Programming Systems Lab., College of Computing, Hanyang University
news
Sep 13, 2024 | 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 by combining ideas in the fields of programming languages, software engineering, compilers, and security.
My current focus concerns developing scalable techniques to automatically synthesize programs to make it easier for programmers to construct more efficient and safe software. I am also interested in developing program analysis and repair tools for detecting and fixing software bugs.
For more information about my research, please see publications, talks, and projects.
Vita
- Sep. 2024 - current, Associate Professor, Hanyang University
- Sep. 2018 - Aug. 2024, 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
MS Students
- Jinsang Kim
- Wang Ao
- Gangdae Ju
Undergrads
- Minsung Lee
- Jaehoon Kim
Alumni
- DongKwon Lee (co-advised with Kwangkeun Yi) (Samsung Research)
Professional Activities
Program Committee
- POPL 2025: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages
- PLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
- APLAS 2023: 21st Asian Symposium on Programming Languages and Systems
- 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
Workshop and Tutorial Co-Chairs
- PLDI 2025: 46th ACM SIGPLAN Conference on Programming Language Design and Implementation
Reviewer
- ACM Transactions on Software Engineering and Methodology
- Journal of Artificial Intelligence Research
- IEEE Transactions on Software Engineering
- ACM Transactions on Programming Languages and Systems
Contact
- Email: woosuk at hanyang.ac.kr
- Address: Rm 403, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588