인지과학자이자 과학신학자. 연세대학교에서 신학, 수학, 인지과학을 공부했고, 현재 연세대학교 객원교수 및 인지과학연구소 전문연구원으로 활동하고 있다. 연세대학교 교수와 센트럴 오클라호마대학교 겸임교수를 역임했다. 『논리적 딜레마: 괴델의 생애와 업적』 (대한민국학술원 우수도서)를 공역했고, 『과학으로 기독교 새로 보기』 (문화관광부 우수도서), 『무한과 하나님: 칸토르의 수학과 신학』 (한국연구재단 저술지원도서), 『신의 존재에 대한 괴델의 수학적 증명』 (한국연구재단 저술지원도서) 등을 저술했다.