연 구 원 소 개

최광무(단독과제 책임자)

소속: KAIST 전산학과 교수

연구분야: Compiler for Embedded Systems, Compiler for Parallel Language, Parsing Theory,
                Automata Theory, Formal Language Theory, Parallel evaluation of Logic programs,
                Optimizing compilers

양현승(단독과제 책임자)

소속: KAIST 전산학과 교수

연구분야: Artificial Intelligence, Media, Human Robotics, Virtual Reality

김태환(단독과제 연구원)

소속: 서울대학교 전기컴퓨터공학부 교수

연구분야: Computer Aided Design for VLSI/Behavorial Synthesis, Logic Synthesis, Combinatorial
                Optimization, Arithmetic Optimization, Low Power Synthesis of Digital System Design