circulum vitae
Education
- Ph.D., Computer Science and Engineering
Sep. 2017 - Aug. 2023, Seoul National University
Advised by Chung-Kil Hur, Software Foundations Lab
Thesis: Simplifying Reasoning under Weak Memory Concurrency - B.S., Computer Science and Engineering
B.S., Philosophy of Mathematics and Logics (self-designed major)
Mar. 2014 - Feb. 2017, Seoul National University
College of Liberal Studies - Mar. 2011 - Feb. 2014, Seoul Science High School
Honors and Awards
- PhD Dissertation Award
2023, Department of Computer Science and Engineering, Seoul National University