고려대학교 컴퓨터학과 교수다. 남가주대학교 컴퓨터과학과에서 박사학위를 받았다. 현재 고려대학교 컴퓨터교육과 학과장 및 교육대학원 컴퓨터교육 전공 주임 교수다. 관심 연구 분야는 시맨틱 웹 기반 교육 및 이론 전산학이며, 최근에 양자컴퓨터를 이용한 코딩 및 알고리즘 교육에 대한 연구를 진행 중이다.