서울대학교 수학과를 졸업하고 KAIST 전산학과에서 석사학위를, 미국 텍사스대학교(오스틴) 컴퓨터과학과에서 인공지능 연구로 박사학위를 받았다. 미국 MCC연구소 연구원, 미국 캔자스대학교 교수 등을 거쳐 이화여자대학교 컴퓨터공학과 교수를 역임했으며, 현재 동 대학교 명예교수 및 한국뉴욕주립대학교 연구교수로 있다.