서울대학교 철학과에서 박사학위를 취득했으며, 현재 숙명여자대학교 기초교양대학 교수로 재직 중이다. 저서에는 『추상적 사유의 위대한 힘: 튜링과 괴델』(2011)과 『논리 ― 철학 논고 연구』(2020)가 있고, 역서에는 비트겐슈타인의 『수학의 기초에 관한 고찰』(1997), 『비트겐슈타인의 수학의 기초에 관한 강의』(2011), 『비트겐슈타인의 강의, 케임브리지 1932-1935』(2024) 등이 있다.