기계 번역 소프트웨어에 관련된 연구, 자연언어 문장의 형태론적 분석이론, 의미 유사성 해소와 관련된 연구, 자연언어 생성에 관련된 연구, 한국어 영어 일본어 등 다국어 기계 번역에 관련된 연구,
인터넷 문서 번역에 관련된 연구 등

1971~ 서울대학교 공과대학 조교수, 부교수, 교수
1977 서울대학교 전자계산소장
1979 미국퍼듀대학교, 일리노이대학교 교환 교수
1981 한국정보과학회장
1990 한국인지과학회장
1992 한국과학재단 심의위원
1994 한국과학기술한림원 정회원
2001~ 서울대학교 명예교수

1983 국민훈장 석류장
1984 표창장 국방부장관
1991 표창장 서울대총장