The software safety engineering laboratory is researching the original technology to minimize software disasters caused by software errors. He has researched and developed safety properties analysis technique of embedded software, software model synthesis technique, model verification automation and practical technology, etc., and has presented papers at flagship international conferences such as ASE and ICSE. It has been conducting a number of research projects, including industrial projects, and from June 2021, it was selected as the Engineering Leading Research Center supported by the Ministry of Science, Technology and Information and Communication and operates the Software Disaster Research Center (staar.knu.ac.kr). is working as