시스템소프트웨어 연구실에 오신 것을 환영합니다. 시스템소프트웨어 연구실은 프로그래밍언어 기술을 사용하여 안전한 소프트웨어 세상을 만드는 것을 목표로 하고 있습니다.