I am an NPU compiler engineer at Rebellions, specializing in optimizing neural processing workloads.I received my Ph.D. in Computer Science from KAIST School of Computing (advisor: Jeehoon Kang). Before that, I completed my undergraduate studies at Inha University.For my Ph.D., my research primarily focused on persistent memory (PM). Specifically, I have dedicated my efforts to systematic programming principles to fully harness the potential of PM through formal abstractions, advancing the reliability and performance of PM systems.