인물소개

현 경북대학교 사범대학 수학교육과 교수. 대한수리논리학회 회장. 서울고등학교를 졸업하고 서울대학교 공과대학과 KAIST에서 재료공학을 전공. 뒤늦게 수학에 빠져 UC Berkeley 수학과에서 1991년 Ph.D.를 받음. 수학의 모든 증명을 기호화 하여 그것의 옳고 그름을 컴퓨터에서 판정할 수 있도록 하는 시스템을 만드는 것을 평생의 꿈으로 삼고 있다. 웹사이트 http://proofmood.com 에 지난 3년간의 작업 결과를 공개하였으며 첫 저서 "수리논리와 집합론 입문"에서 이 시스템을 적극 활용하고 있다.

학력

• UC Berkeley Ph. D
• KAIST 석사
• 서울대학교 학사
• 서울고등학교 졸업

경력

• 경북대학교 수학교육과 교수
• 대한수리논리학회장