
Registered user since Fri 20 Nov 2015
Name:Woosuk Lee
Country:South Korea
Affiliation:Hanyang University
Personal website: https://psl.hanyang.ac.kr
Research interests:Program Analysis, Program Synthesis
Contributions
POPL 2025-profile
View general profile
View general profile