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.



PhD Students

Undergraduate Students

  • Jeongmin Jo

Professional Activities

Program Committee

  • PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
  • ESOP 2020: European Symposium on Programming
  • ICSE 2020 (Software Engineering in Practice track): 42nd International Conference on Software Engineering


  • IEEE Transactions on Software Engineering
  • ACM Transactions on Programming Languages and Systems

Vulnerabilities Reported


  • Email: woosuk at
  • Address: Rm 403, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588