이화여자대학교 명예교수. 이화여자대학교 수학과를 졸업, 동대학원에서 석사를 마쳤으며 미국 텍사스 주 (오스틴) 주립대학교 컴퓨터과학 박사과정을 수료하고 서울대학교에서 컴퓨터과학으로 박사학위를 받았다.