Byoungho Son

Hello, there! I am a Ph.D student at POSTECH. I study formal methods at Software Verification Lab, advised by Kyungmin Bae.

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

Education

(2022 Aug - present) Ph.D. Student in Computer Science and Engineering. POSTECH. (advisor: Kyungmin Bae)
(2018 Feb - 2022 Aug) B.E. in Computer Science and Engineering & B.S. in Mathematics (Double Major). Sogang University. Magna Cum Laude

Experience

(2022 Aug - present) Research Assistant. Software Verification Lab. POSTECH. (Advisor: Kyungmin Bae)
(2021 Jul - 2022 Jan) Undergraduate Research Intern. ProsysLab. KAIST. (Advisor: Kihong Heo)

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

(2023 Fall) CSED332, Software Design Methods, POSTECH, TA.

Honors

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

Contact

email: byhoson at postech dot ac dot kr
address: POSTECH B2 204