Byoungho Son

Hello, there! My name is Byoungho. I am currently a Ph.D student at POSTECH. I study formal methods at Software Verification Lab, advised by Kyungmin Bae. More about me on personal.

Info

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

I am broadly interested in logical foundations and practical applications of formal methods. My current research theme lies in borrowing ideas from Logic and Machine Learning, combining them to overcome the computational hardness of Formal Verification techniques, and applying them to analyse Security/Privacy of software systems.

My research is more or less related to the following topics:

Logic : Rewriting / Automata / Semantics
Machine Learning : Reinforcement Learning
Formal Verification : Model Checking / Theorem Proving / Concurrency
Security/Privacy : Cryptographic Protocol Analysis / Program 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

Publication

(See Google Scholar / DBLP).

(CCS 2022) TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.
Wooseok Kang, Byoungho Son, Kihong Heo.
pdf homepage slide

Teaching

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

Honors

(2024) Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
(2018) Albatross Scholarship, Sogang University.