현재 고려대학교 논리학회 간사로 있으며 한국논리학회 간사를 역임했다. 논문으로 '자름규칙제거 연역의 증명 길이에 대하여'가 있다.