Representative
CEO’s Message
“I am convinced that modern, complex industrial manufacturing systems require more than just probabilistic AI; they require mathematically proven AI. SLING AI aims to build a world of high-integrity AI by integrating symbolic logic into the industrial field.”
CEO Profile
Education
| Period | Institution | Degree |
|---|---|---|
| 2023 - 2026 | Nagoya University Informatics | Doctor of Informatics |
| 2021 - 2023 | Nagoya University Informatics | Master of Informatics |
| 2015 - 2021 | Hanyang University Information Systems | B.S. in Information Systems |
| 2012 - 2015 | Wonju High School | Graduated |
[How to Find Dissertation]
- Title: Theoretical Studies of Program Verification Based on Separation Logic
- Direct Link: Nagoya University Repository (HDL)
- Alternative Search Instructions:
- Access the National Research Foundation (NRF) Foreign Doctoral Dissertation System
- Click the green [Thesis Search (논문검색)] button on the right.
- Enter ‘이연석’ (Yeonseok Lee) in the author field and search.
Professional Career
| Feb. 2026 - Present | SLING AI Inc., Founder & CEO |
| Apr. 2025 - Dec. 2025 | NTT DATA TOKAI Corporation (Nagoya, Japan), System Engineer |
| Feb. 2017 - Feb. 2019 | Republic of Korea Air Force 11th Fighter Wing, Aviation Weapons Maintenance Technician (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 Publications
2026 | Separation Logic for Verifying Physical Collisions of CNC Programs
- Preprint (arXiv)
- DOI: 10.48550/arXiv.2605.10437
2026 | Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
- Preprint (arXiv)
- DOI: 10.48550/arXiv.2605.10568
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