I am a PhD Student in Informatics at Nagoya University (Yuen & Nakazawa Lab).
After receiving my BS degree in Information Systems from Hanyang University, I went on to receive my MS degree in Informatics at Nagoya University.
I am participating in TMI program, which is one of WISE graduate school programs established by the Ministry of Education, Culture, Sports, Science, and Technology of Japan.
I am interested in program verification with formal methods which verify systems with mathematics and logic (especially separation logic). My ultimate goal is to provide a theoretical solution to automate low-level program verification, which has the potential to significantly reduce errors and improve the safety and reliability of software systems.
Theory of computation
Logic; Separation logic; Hoare logic;
Program verification; Automated reasoning; Concurrency.
Lee, Yeonseok, and Koji Nakazawa. "Incorrectness Separation Logic with Arrays and Pointer Arithmetic." arXiv preprint arXiv:2503.00809, 2025. [paper (DOI)]
Lee, Yeonseok, and Koji Nakazawa. "Relative Completeness of Incorrectness Separation Logic." Asian Symposium on Programming Languages and Systems. Singapore: Springer Nature Singapore, 2024. [paper (DOI)] [slides]
Yeonseok Lee, and Koji Nakazawa. "Decidable entailment checking for concurrent separation logic with fractional permissions (Revised version of the proceeding in the 39th JSSST Annual Conference)." Computer Software, 2023, Volume 40, Issue 4, Pages 4_67-4_86. [paper (DOI)]