Registered user since Fri 17 Nov 2023
Name:Yonghyun Kim
Affiliation:MPI-SP
Personal website: https://petrosyh.github.io/cv/YonghyunKimCV.pdf
Research interests:Formal Verification, Security, Compiler
Contributions
POPL 2026-profile
View general profile
View general profile