작성자: 과거 관리자
작성 날짜: 2017/12/13 (수) 오후 3:46
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 컴퓨터공학부장