I am a PhD student at Carnegie Mellon advised by Prof. Umut Acar. My research interests span across programming languages, parallel computing, software engineering, and formal methods.


  • Feb 2024: My paper Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-Oriented Systems is published in Science of Computer Programming (doi)
  • Aug 2023: I started Software Engineering PhD program at Carnegie Mellon University.
  • Feb 2023: I graduated from POSTECH with the Founding Chairman’s Award, which is given to the undergraduate student with the highest overall GPA (news). You can read my interview here: (kor, en).
  • December 2022: My paper Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search was published in FTSCS (doi).



See my CV for more information.


See Publication