Minki Cho

Minki Cho is a Research Fellow in the Department of Computer Science and Engineering at Seoul National University, South Korea. Having completed their Ph.D. in August 2023 with a thesis titled "Simplifying Reasoning under Weak Memory Concurrency," they continue active research while maintaining institutional affiliation.

Cho's educational background includes:

• Sep. 2017 - Aug. 2023: Ph.D. Computer Science and Engineering, Seoul National University
• Mar. 2014 - Feb. 2017: B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics (double major), Seoul National University
• Mar. 2011 - Feb. 2014: Seoul Science High School

Cho's research focuses on Verified Compilation, Relaxed Memory Concurrency, and Program Logic, bridging theoretical foundations with practical applications in programming language design and verification. Their work addresses fundamental challenges in weak memory models, compiler optimizations, and formal verification frameworks, with particular emphasis on developing rigorous semantic models that enable practical compiler optimizations while maintaining program correctness.

Cho's publication record demonstrates consistent contributions to top-tier venues including PLDI, POPL, and OOPSLA from 2020-2025, showing evolution from foundational work on relaxed memory concurrency toward more comprehensive verification frameworks supporting complex language features like integer-pointer casting and liveness properties.

Recognition for Cho's work includes:

• PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University (2023)
• Gold medal in University Students Contest of Mathematics, Korean Mathematical Society (2014)

Prior to completing their Ph.D., Cho gained teaching experience as a TA for:

• Computational Civilization (2020 Spring)
• Programming Languages (2019 Fall)
• Principles and Practices of Software Development (2019 Spring/2018 Spring)
• Principles of Programming (2018 Fall)