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

Research Interest

I am broadly interested in foundations and applications of formal verification techniques.

• Logic & Computation
• Formal Verification
• Computer-aided Cryptography (Provable Security)

Recently, my work revolves around techniques such as rewriting logic, model checking, and heuristic search.

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.

Contact

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

Misc.

• useful materials
• personal
• project