About

I am a propsective graduate student interested in programming languages, formal methods, and distributed systems. I recently graduated from POSTECH with a double major in computer science and mathematics.

News

  • 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).

Education

Experiences

See my CV for more information.

Publications

See Publications