معرفی
Woosuk Lee is a researcher at Hanyang University in South Korea, specializing in Program Analysis and Program Synthesis. He has been actively involved in academic activities since 2015, contributing to major conferences like OOPSLA, PLDI, POPL, and ESEC/FSE.
- Current affiliation: Hanyang University
- Research interests: Program Analysis, Program Synthesis
His research focuses on automating program generation through inductive methods and abstract interpretation. Key contributions include:
- Advancing iterative forward-backward abstract interpretation for program synthesis (2023)
- Structurally recursive functional program synthesis (2023)
- Homomorphic encryption circuit optimization via term rewriting (2020)
- Data-driven feedback systems for programming education (2021)
He has served on program committees for PLDI (2024), POPL (2022), and SPLASH (2025), while also chairing workshops at PLDI 2026. His work bridges theoretical computer science with practical software engineering applications.
۰مقاله منتشرشده
