VMCAI 2026
Mon 12 - Tue 13 January 2026 Rennes, France
co-located with POPL 2026
POPL 2026 (series) / VMCAI 2026 (series) / Byoungho Son
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

Show activities from other conferences

POPL 2026-profile
View general profile