인지과학자이자 과학신학자. 연세대학교에서 신학, 수학, 인지과학을 공부했고, 현재 연세대학교 객원교수 및 인지과학연구 소 전문연구원으로 활동하고 있다. 연세대학교와 호서대학교에서 교수로 재직했고, 센트럴 오클라호마대학교에서 겸임교수와 멤피스대학교에서 수리과학부 지능시스템연구소 객원연구원을 지냈다.

문화관광부 우수도서 『과학으로 기독교 새로 보기』 (연세대학교 출판부), 대한민국학술원 우수도서 『논리적 딜레마 : 괴델의 생 애와 업적 (공역)』 (경문사), 『양자물리학 그리고 기독교신학 (번역)』 (연세대학교 출판문화원), 한국연구재단 저술지원도서 『무한과 하나님: 칸토르의 수학과 신학』 (연세대학교 출판문화원), 한국연구재단 저술지원도서 『신의 존재에 대한 괴델의 수학적 증명』 (경문사), 『과학의 눈으로 본 신학』 (연세대학교 대학출판문화원) 등을 저술하였고, Zygon에 발표한 “An East Asian Mathematical Conceptualization of the Transhuman” 등 70여 편의 논문이 있다.