소프트웨어 원리 연구실은 소프트웨어에 관한 이론적으로 흥미롭고, 또한 실질적으로 유용한 문제들을 풀고 있습니다. 현재 진행하고 있는 연구들에 관한 자세한 사항은 연구실 홈페이지를 참조해 주십시오.