Research Centers

CSE supports the domestic computer industry by training the students to become highly-qualified software engineers. For naturalization of advanced technology to develop next-generation computers and world's leading technology, researchers at the Institute of Computer Technology are working on various fields of computer technology and computer science.

  • The goal of the Research On Software Analysis for Error-free Computing Center is to develop "software MRI's" that can detect errors or verify the absence of errors in software sources before their executions. Our efforts are driven by semantic-based static analysis, programming language theories, and corpus-based computation. In particular, we works on static analysis tools for bug-finding, software verification tools, and static analysis tools for software understanding. Our center's atmosphere encourages a tight coupling of our sound theoretical work with its practical industrialization so that the artificial separation between theory and practice cannot appen in our work.

    ■ Research Funding Programs: MEST/NRF Engineering Research Center of Excellence

  • The biggest difficulty in the current multi-core era is the programming barrier, obstacles which programmers encounter when connecting applications in parallel to utilize the full potential of multi-core processors. To solve this problem, developing good programming modelsis important. These programming models have to resolve two conflicting purposes, namely high performance and simpler programming. The center aims to achieve these two goals simultaneously through development of intelligent practice systems.

  • CBIT was established for intensive research in Biointelligence Technology and focuses on brain-inspired computational intelligence. As data acquisition techniques to acquire human cognitive information are developed by usingvarious brain imaging techniques and physiological signal measuring equipment, it is equally important to develop techniques to understand the links between various Human Cognitive Processes by analyzing the acquired data.

  • The major goal of the research center is to develop new ways of understanding, analyzing and synthesizing the biological motion of humans and animals.