About

Hello, there! My name is Byoungho (pronounced “Bee-Young-Ho”). I am currently a Ph.D. student at POSTECH. I study formal verification at FOREVER (Formal Reasoning & Verification) Lab, advised by Kyungmin Bae.

name: Byoungho Son / 손병호 / 孫秉浩 / 孙秉浩 / Бёнхо Сон / ソン・ビョンホ
email: byhoson at postech dot ac dot kr
address: (77 Cheongam-Ro, Nam-Gu, Pohang, Gyeongbuk, Korea 37673) POSTECH B2 204
cv / orcid / google scholar

Research Interest

My research aims to develop algorithmic verification techniques based on firm logical/algebraic foundations. Recently, I am working on integrating term rewriting techniques within the Lean proof assistant.

Foundation : Rewriting Logic / Algebraic Specification
Verification : (Automated and/or Interactive) Theorem Proving
Application : Cryptographic Protocol Analysis

Vita

(2022 Aug - present) Ph.D. Student in Computer Science and Engineering. POSTECH. (advisor: Kyungmin Bae)
(2021 Jul - 2022 Jan) Undergraduate Research Intern. ProsysLab. KAIST. (Advisor: Kihong Heo)
(2018 Feb - 2022 Aug) B.E. in Computer Science and Engineering & B.S. in Mathematics (Double Major). Sogang University. Magna Cum Laude

Activities

Artifact Evaluation Committee
- ATVA 2026

Publication

(See Google Scholar / DBLP).

A Formal Executable Semantics of PROMELA
🏆 Distinguished Paper Award
Byoungho Son, Kyungmin Bae
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
[ home | code | slide ]
TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities
Wooseok Kang, Byoungho Son, Kihong Heo
ACM Conference on Computer and Communications Security (CCS 2022)
[ pdf | home | slide ]

Teaching

(2025 Spring) CSED232, Principles of Software Construction, TA
(2023 Fall) CSED332, Software Design Methods, TA

Honors & Awards

(2026) Distinguished Paper Award, VMCAI 2026.
(2024) Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
(2022) Magna Cum Laude, Sogang University.
(2018) Albatross Scholarship, Sogang University.