Ph.D. Student
Software Analysis Lab
Computer Science Department
College of Informatics
Korea University
[github] [website]

• Static analysis and verification
• Program synthesis and repair

• 2020 ~ present, Ph.D. Student Computer Science and Engineering, Korea University
• 2016 ~ 2019, B.S. Computer Science and Engineering, Korea University
• 2016 ~ 2019, B.B.A. Business Administration, Korea University

• SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters
  Sooyoung Cha, Myungho Lee, Seokhyun Lee, and Hakjoo Oh
  ICSE 2022: International Conference on Software Engineering
  🥇ACM SIGSOFT Distinguished Paper Award
  [pdf] [artifact]

• Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
  Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
  ISSTA 2020: The ACM SIGSOFT International Symposium on Software Testing and Analysis
  🥇ACM SIGSOFT Distinguished Paper Award
  [pdf] [artifact]

Room 614B, Science Library Bldg
College of Informatics
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 136-713, Korea
(email) seokhyunlee@korea.ac.kr