I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University. I am currently interested in the formal verification of distributed systems. My research focuses on constructing formal semantics for programming languages, developing formal verification tools, and applying these tools to verify real-world systems. I use Rocq as a proof-assistant, Haskell as a general programming language, and λProlog as a hobby.

• Blog: https://blog.naver.com/theblogid
• GitHub: https://github.com/KiJeong-Lim
• Portfolio: https://github.com/KiJeong-Lim/portfolio
• E-mail: