Yeonseok Lee
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.
Research Interests
Theory of computation
Logic; Separation logic; Hoare logic;
Program verification; Automated reasoning; Concurrency.
Publications
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.
Yeonseok Lee, and Koji Nakazawa. "Decidable entailment checking for concurrent separation logic with fractional permissions." Proceedings of the 39th JSSST Annual Conference, 2022
// won Student Encouragement Award & Excellent Presentation Award