카이스트(KAIST) 인문사회과학부 교수. 주요 저서로는 국어의 단어형성 원리(1998), 현대국어 형태론의 탐구(2006), 현대국어 통사론의 탐구(2006), 응용국어학의 탐구(2006), 훈민정음을 사랑한 변호사 박승빈(2015), 한글과 과학문명(공저 2018) 등이 있다.