Sunbeom So (소순범)
Assistant Professor
Formal Software Verification Laboratory,
School of Cybersecurity,
Korea University
[CV] [Google Scholar]
Recruiting
I am actively looking for self-motivated graduate/undergraduate students. See Research and Recruitment.
About Me
As of September 2025, I am working as an assistant professor at School of Cybersecurity of Korea University, where I am leading the Formal Software Verification Laboratory. Previously, I served as an assistant professor at GIST from September 2023 to August 2025 and as a research professor at Korea University from September 2022 to August 2023.
Research Interests
I am interested in various research topics for improving security and safety of software. In particular, I mainly focus on developing and using techniques based on SMT-based formal methods.- Safety verification for proving the absence of vulnerabilities and errors in software.
- Symbolic execution for finding vulnerabilities and errors in software.
- Efficient decision procedures for first-order theories for making formal verification tools more practical.
Education
- Ph.D. in Computer Science and Engineering (Sep. 2016 - Aug. 2022)
Korea University (Seoul, Korea) - Thesis: Automatic Verification, Testing, and Repair of Smart Contracts - B.S. in Computer and Communication Engineering (Mar. 2011 - Aug. 2016)
Korea University (Seoul, Korea) - 2 years for mandatory military service (Jan. 2012 - Jan. 2014)
- Early graduated in 7 semesters
Publications
I have published research papers at top-tier conferences in software security, software engineering, and programming languages. See Publications.
Academic Activities
Program Committee (PC) member- ASE 2025 (NIER Track): IEEE/ACM International Conference on Automated Software engineering
- SAS 2025: Static Analysis Symposium
- SOAP 2025: ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
- ISSTA 2025: The ACM SIGSOFT International Symposium on Software Testing and Analysis
- CAV 2023: 35th International Conference on Computer Aided Verification
- OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- TSE: IEEE Transactions on Software Engineering (2022, 2023, 2025)
- TOSEM: ACM Transactions on Software Engineering and Methodology (2023, 2024, 2025)
Contact Information
sunbeom_soATkorea.ac.kr (AT should be replaced with @)