People

We lead the development of key and
fundamental technologies, driving the nation's future
in the era of infinite technological competition.
We lead the development of key and fundamental technologies, driving the nation's future in the era of infinite technological competition.

Professor

  • HOME
  • People
  • Professor
Sunbeom So

Program Analysis Lab

062-715-2665
  • Software Verification
  • Software Testing
  • Software Repair and Synthesis

Introduction

  • We research techniques for improving the safety and reliability of software.

Research Field

  • • Software verification for automatically proving the absence of bugs in programs
  • • Software testing for automatically finding bugs in programs
  • • Software repair for automatically fixing bugs in programs
  • • Software synthesis for automatically generating safe and correct programs

Education

  • 2016.09 ~ 2022.08, M.S./Ph.D. Combined course. Dept.of Computer Science, Korea University
  • 2011.03 ~ 2016.08, B.S. Dept. of Computer Science, Korea University

Professional Career

  • 2023.09 - Present, Assistant Professor, GIST
  • 2022.09 - 2023.08, Research Professor, Korea University

Professional Services

  • • Program Committee member: ISSTA 2025
  • • Journal Reviewer: TSE (2022, 2023), TOSEM (2023)
  • • Artifact Evaluation Committee member: member: OOPSLA 2020, CAV 2023

Awards

  • • The 27th Humantech Paper Award 장려상 (2021.02)
  • • Naver Ph.D Fellowship Award (2020.12)
  • • Best Paper Award @ ACM SIGPLAN GPCE (2016.10)