- 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
- 1978, M.S. Computer Science, KAIST
- 1976, B.S. Electronic Engineering, Seoul National University
Formal language theory; Parallel evaluation of Logic programs; optimizing compilers;
- Publication list.
- Students.
- Courses :
Kwang-Moo Choe
Department of Computer Science, KAIST, 373-1 Guseong-dong Yuseong-gu, Daejeon 305-701, Korea
(tel) +82-42-869-3520 (fax) +82-42-869-3510
choe@kaist.ac.kr
글