Kyeongmin Cho (조경민)
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, where I had the privilege of being advised by 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.
news
| Dec 12, 2025 | Our Korean patent “System and Method for Providing a Programming Framework for Designing High-Performance Non-Volatile Memory Objects with High Usability” has been registered as KR102899281B1. |
|---|---|
| Nov 07, 2025 | Our Korean patent “Compiling Method, Electronic Device Performing the Same, and Non-Transitory Computer-Readable Recording Medium” has been registered as KR102883220B1. |
| Feb 14, 2025 | My Ph.D. thesis, “Principles of Byte-Addressable Persistency,” has received the 2024 Outstanding Ph.D. Thesis Award from the KAIST School of Computing. |
| Sep 03, 2024 | Excited to share that today marks my first day at Rebellions as a member of the Compiler Team! |
| Aug 19, 2024 | Our paper “Quantum Probabilistic Model Checking for Time-Bounded Properties” has been accepted to OOPSLA 2024. |