서울대학교 언어학 학사, 서울대학교 대학원 언어학 석사, 1988 미국 브라운대학교 언어학 박사학위를 취득했다. 고려대학교 언어학과 교수이며, 고려대학교 재직중에 하버드대학교 옌칭연구소에서 1년간 초청 방문 학자로 연구했다. 2003-2004 한국언어정보학회 회장, 2004 한국지식인학회 부회장직을 역임했다
저서 및 역서로 『한글 사용 빈도의 분석』(공저), 『언어의 과학』(공역), 『형식의미론과 한국어 기술』(공저), 『한국어 텍스트 장르와 언어 특성』, 『의미 구조의 표상과 실현』(공저), 『범주문법』, 『영화마을 언어학교』, 『언어, 컴퓨터, 코퍼스언어학』, 『언어: 풀어 쓴 언어학 개론』, 『언어학의 역사』(역서), 『한국어 사용 빈도』(공저), 『영어의미론』(공저), 『의미론 1』(역서), 『의미론 2』(역서), 『양화와 복수의 의미론』 등이 있다.
서울대학교 언어학 학사, 서울대학교 대학원 언어학 석사, 1988 미국 브라운대학교 언어학 박사학위를 취득했다. 고려대학교 언어학과 교수이며, 고려대학교 재직중에 하버드대학교 옌칭연구소에서 1년간 초청 방문 학자로 연구했다. 2003-2004 한국언어정보학회 회장, 2004 한국지식인학회 부회장직을 역임했다
저서 및 역서로 『한글 사용 빈도의 분석』(공저), 『언어의 과학』(공역), 『형식의미론과 한국어 기술』(공저), 『한국어 텍스트 장르와 언어 특성』, 『의미 구조의 표상과 실현』(공저), 『범주문법』, 『영화마을 언어학교』, 『언어, 컴퓨터, 코퍼스언어학』, 『언어: 풀어 쓴 언어학 개론』, 『언어학의 역사』(역서), 『한국어 사용 빈도』(공저), 『영어의미론』(공저), 『의미론 1』(역서), 『의미론 2』(역서), 『양화와 복수의 의미론』 등이 있다.