Byoungho Son - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

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

VMCAI

A Formal Executable Semantics of PROMELA

Show activities from other conferences

POPL 2026-profile
View general profile