Woosuk Lee (이우석)
Assistant professor, Programming Systems Lab., College of Computing, Hanyang University
news
Mar 21, 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. 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
MS Students
- Jinsang Kim
- Wang Ao
Undergrads
- Junseong Park
Alumni
- DongKwon Lee (co-advised with Kwangkeun Yi) (Samsung Research)
Professional Activities
Program Committee
- 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
Reviewer
- 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