Byoungho Son -

Registered user since Fri 7 Nov 2025

Name:Byoungho Son

Country:South Korea

Affiliation:POSTECH

Personal website: https://byhoson.github.io/

Research interests:Formal Verification

Contributions

2026

APLAS

Committee Member in Artifact Evaluation Committee within the ATVA Research Papers-track

VMCAI

Author of A Formal Executable Semantics of PROMELA within the VMCAI 2026-track