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