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. GitHub
Email: kijeonglim (at) yonsei . ac . kr