서울대학교 수학학사, KAIST 전산학 석사, (미) MIT 응용수학 박사 현재 아주대학교 소프트웨어 학과 명예 교수, 한국정보과학회 명예 회장, 서울 어코드 의장, 한국비버챌린지 의장 국제정보처리연합 부의장, 한국정보올림피아드 추진위원장(전) 영국 Cambridge대 인촌기념 Fellow(전)