Representative
CEO’s Message
“Symbolic Logic Inspires Normative Generative AI. At SLING AI, we integrate formal mathematical logic with generative models to ensure AI operates safely, reliably, and within defined operational bounds.”
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
- 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 Publications
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