Representative
CEO’s Message
“Symbolic Logic Inspires Normal and General AI. At SLING AI, we unite mathematical logic with AI models to ensure technology operates safely, predictably, and with reliability.”
CEO Profile
Education
| Period | Institution | Degree |
|---|---|---|
| 2023 - 2026 | Nagoya University Graduate School of Informatics | Doctor of Informatics |
| 2021 - 2023 | Nagoya University Graduate School of Informatics | Master of Informatics |
| 2015 - 2021 | Hanyang University College of Engineering | B.S. in Information Systems |
| 2012 - 2015 | Wonju High School | Graduated |
Doctoral Dissertation
- Title: Theoretical Studies of Program Verification Based on Separation Logic
- Direct Access: Nagoya University Academic Repository
- Zenodo Archive: DOI: 10.5281/zenodo.21979211
- National Registry Search:
- Access the National Research Foundation (NRF) Foreign Doctoral Dissertation System
- Select the Thesis Search (논문검색) option.
- Enter ‘이연석’ (Yeonseok Lee) in the author field.
Professional Experience
| Feb. 2026 - Present | SLING AI Inc., Founder & CEO |
| Apr. 2025 - Dec. 2025 | NTT DATA TOKAI Corporation (Nagoya, Japan), Systems Engineer |
| Feb. 2017 - Feb. 2019 | Republic of Korea Air Force 11th Fighter Wing, Aviation Weapons Mechanic (Staff Sergeant / 공군 병장, Honorable Discharge / 만기 전역) |
Awards & Honors
| 2025 | Encouragement Award in Computer Science, Information Processing Society of Japan (IPSJ) |
| 2022 | Best Presentation Award, Japan Society for Software Science and Technology (JSSST) |
| 2022 | Student Encouragement Award, Japan Society for Software Science and Technology (JSSST) |
Selected Papers
2025 | Incorrectness separation logic with arrays and pointer arithmetic
- Journal of Information Processing, Vol. 33.
- DOI: 10.2197/ipsjjip.33.826
2024 | Relative completeness of incorrectness separation logic
- APLAS 2024, Lecture Notes in Computer Science, Vol. 15194.
- DOI: 10.1007/978-981-97-8943-6_13
2023 | Decidable entailment checking for concurrent separation logic with fractional permissions
- Computer Software, Vol. 40, Issue 4.
- DOI: 10.11309/jssst.40.4_67