현대 사회는 점차 소프트웨어가 지배하는 사회로 흘러가고 있습니다. 우리는 매일 스마트폰, 랩탑 컴퓨터, 서버 등을 통해 소프트웨어를 일상으로 사용하고 있습니다. 우리 연구실에서는 소프트웨어에 존재하는 다양한 문제점들을 찾아내고, 더 나아가 찾아진 문제점들을 사용자가 원하는 대로 자동 수정하는 기술을 개발하고 있습니다. 우리 연구실에서 개발하는 기술은 신뢰할 수 있는 소프트웨어 기반 사회를 조성하는 데에 일조하고 있습니다.
At LOFT (Lab of sOFTware), we develop software for software. As commonly said, software is everywhere. It is on your smartphone, your laptop computer, and servers running all kinds of software you use daily. At our lab, we build software that takes as input any software and finds various problems of the software, and more importantly, fixes the detected problems automatically and guarantees the correctness of the fixed software. The techniques developed in our lab contribute to making software that supports us rather than governs us.