네트워크

정보통신

Programming Language, Compiler

Research Interests:

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


국가

대한민국

소속기관

한국과학기술원 (학교)

연락처

책임자

최광무 choe@kaist.ac.kr