소프트웨어 검증 연구실 (Software Verification Lab)

배경민 컴퓨터공학과 교수가 이끄는 소프트웨어 검증 연구실은 소프트웨어 오류를 방지하고 신뢰성과 안전성을 높이는 기술과 이론, 알고리즘, 도구를 개발하고 있습니다 * 다른 연구실 영상도 궁금하다면? #LabCumentary #일흔두번째이야기 #소프트웨어검증연구실 #컴퓨터공학과 #배경민교수 #POSTECH #포스텍 #포항공과대학교 #포항공대 #연구실홍보영상시리즈