Kwang-Moo Choe

Vita and Reserach Interests

1984 - present, Professor, Department of Computer Science, KAIST
1985 - 1986, Member of Technical Staff, AT&T Bell Labs., Murray Hill
1984, Ph.D. Computer Science, KAIST (Dissertation: A New Analysis of LALR Formalisms)
1978, M.S. Computer Science, KAIST (Dissertation: 한글 모아쓰기에 관한 연구 (in korean))
1976, B.S. Electronic Engineering, Seoul National University

Research Interests:

Formal language theory; Parallel evaluation of Logic programs; optimizing compilers;

Research Program