[CV]

---

Publications

1. Memory-efficient Fixpoint Computation
   27th Static Analysis Symposium (SAS), 2020
   [preprint] [code] [video]
   • SAS 2020 Radhia Cousot Young Researcher Best Paper Award [link]
2. Deterministic Parallel Fixpoint Computation
   Proceedings of the ACM on Programming Languages (POPL), 2020
   [url] [code] [video]
   • Code integrated into NASA IKOS
   • Code integrated into Facebook SPARTA

3. Reusing the Optimized Code for JavaScript Ahead-of-Time Compilation
   ACM Transactions on Architecture and Code Optimization (TACO), 2019
   [url]

4. Advanced ahead-of-time compilation for Javascript engine: work-in-progress
   International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2017
   [url]

---

Work Experience

• Algorithm Engineer Manager, Spacewalk, 2021.07 - Current

• Software Engineer Intern, Nearthlab, 2018.02 - 2018.07

---

Education

• Ph.D. Candidate, Computer Science, 2018 - 2021
  University of California, Davis (UC Davis)
  • Davis Automated Reasoning Group
  • Advisor: Prof. Aditya V. Thakur
  • On alternative military service in South Korea

• M.S., Electrical and Computer Engineering, 2017
  Seoul National University (SNU)

• B.S., Computer Science, Physics (Minor), 2015
  Korea Advanced Institute of Science and Technology (KAIST)