1963년 미국 세인트루이스대학교 문학사, 1967년 전남대학교 대학원 영문학석사, 1974년 미국 텍사스대학교(오스틴) 언어학박사, 1969-1977년 전북대학교 영어영문학과 전임강사, 조교수, 부교수, 1977-1982년 중앙대학교 영어교육학과 부교수, 1982-1989년 고려대학교 영어영문학과 교수, 1986-1987년 미국 스탠포트대학교 언어정보연구소(CSLI) 풀브라이트 객원학자, 1989-현재 고려대학교 언어과학과 교수, 1993-1995년 고려대학교 언어정보연구소 초대소장, 1994년 독일 에어랑엔대학 컴퓨터언어학과 DAAD-한국헉술진흥재단 객원학자, 1998-1999년 일본 천리대학 조선학과 특별초빙교원, 저서<On Montague Grammar>(1985, 1992, 한신문화사), <현대언어학>(공저, 1977, 한신문화사), <영어문법론>(공저, 1979, 민음사), <의미론서설>(공저, 1985, 집문당), <영문법개론 II>, (공저, 1987, 신아사), <인지과학: 마음, 언어, 계산>(공저, 1989, 민음사), <계산의미론과 그 응용>(공저, 1996, 민음사), <언어와 세계: 형식의미론>(1998, 태학사), <시제와 양상: 가능 세계 의미론>(1998, 태학사), <상황과 정보: 상황의미론>(1998, 태학사)
