KAIST 전산학과 졸업 후, 동 대학 대학원에서 인공지능 분야로 석사 및 박사학위를 받았다. 프랑스 INSA Lyon 박사후 연구원, 미국 실리콘밸리 PSI사 연구원, 콜로라도대학교 덴버캠퍼스 객원교수를 지냈으며, 현재 충북대학교 소프웨어학부 교수로 있다. 《인공지능》 《응용이 보이는 선형대수학》 등의 책을 썼다.