The Software Safety Engineering Laboratory conducts pioneering research to minimize software-related disasters caused by errors. Its work spans a wide range of areas, including safety property analysis for embedded software, software model synthesis, automated model verification, and practical techniques for ensuring reliability. The lab has published its findings at flagship international conferences such as ASE and ICSE, and has led numerous research projects, including industry collaborations. Since June 2021, it has been designated as an Engineering Leading Research Center by the Ministry of Science and ICT, under which it operates the Software Disaster Research Center (staar.knu.ac.kr)