연세대학교 공과대학, 학사 University of Oklahoma, 컴퓨터과학, 석사 University of Oklahoma, 컴퓨터과학, 박사 연세대학교 컴퓨터과학과 교수 현재 연세대학교 컴퓨터과학과 명예교수