인지과학자이자 과학신학자. 연세대학교에서 신학, 수학, 인지과학을 공부했고, 현재 연세대학교 객원교수 및 인지과학연 구소 전문연구원으로 활동하고 있다. 연세대학교와 호서대학교에서 교수로 재직했고, 센트럴 오클라호마대학교에서 겸 임교수와 멤피스대학교에서 수리과학부 지능시스템연구소 객원연구원을 지냈다.
문화관광부 우수도서 『과학으로 기독교 새로 보기』 (연세대학교 출판부), 대한민국학술원 우수도서 『논리적 딜레마 : 괴델의 생애와 업적 (공역)』 (경문사), 『폴킹혼의 양자물리학과 신학 (번역)』 (동방박사), 한국연구재단 저술지원도서
『무한과 하나님: 칸토르의 수학과 신학』 (연세대학교 출판문화원), 한국연구재단 저술지원도서 『신의 존재에 대한 괴 델의 수학적 증명』 (경문사),
『과학의 눈으로 본 신학』 (연세대학교 출판문화원) 등을 저술하였고, Zygon에 발표한 “An East Asian Mathematical Conceptualization of t h e T r a n s h u m a n ” 등 70여 편의 논문이 있다.