소개

한양대학교(서울) 공과대학 정보시스템학과 졸업

Nagoya University (일본) Informatics 박사 졸업

Nagoya University (일본) Informatics 석사 졸업

* 주요 연구: 분리 논리(Separation Logic) 기반 프로그램 검증 이론 연구 및 특허 출원

現 슬링에이아이 주식회사(SLING AI Inc.) 대표이사

前 일본 NTT DATA TOKAI 시스템 엔지니어