신뢰성 소프트웨어 및 신경망 연구실은 컴퓨터공학과에 속해 있으며, 신경망 검증 및 형식 검증 분야에서 활발한 연구를 진행하고 있습니다. 최근 3년간 구글 코리아와 협력하여 양자화 신경망의 정확성을 달성하기 위한 형식적 접근법을 연구하였으며, 삼성미래기술육성재단과 함께 신경망 분해/통합 검증을 위한 원천 기술을 개발하였습니다. 또한, pKVM에 대한 형식 검증과 분산 시스템 검증을 위한 ADO 프로젝트를 수행하였으며, 스마트 계약 자동 합성 도구를 개발하는 등 다양한 연구 프로젝트를 성공적으로 완료하였습니다. 이러한 성과는 국제 학술지 및 컨퍼런스에 다수 발표되었으며, 연구실의 높은 연구력을 입증하고 있습니다.