- π I am in a Master's course in Software Testing and Verification Group, KAIST.
- π My major interests are program analysis and automated software testing.
- π€ I enjoy the mathematical foundations of computer science such as programming language theory and algorithmic problem-solving.
- β Coffee chat is always welcome - you can easily reach me if you visit near KAIST. Send an e-mail!
(last update 2024/07/24)