2017학년도 제2학기 박사학위 논문요지 발표회를 아래와 같이 개최하오니 많이 참석하여 주시기 바랍니다.
이에 각 연구실에서는 세미나실 사용에 착오 없도록 협조하여 주시기 바랍니다.

 

대상자: 조성근 (지도교수: 이광근)

일시: 2017년 12월 15일 오후 2시 30분 ~

장소: 302동 309호

논문제목: ZooBerry: 프로그램 정적 분석기 및 검산기 자동 생성 시스템
(ZooBerry: A Software Framework for Global Sparse Analyzers and Their Verified Validators)

  

2017. 12. 13  컴퓨터공학부장