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