CITAC 전문가초청세미나를 아래와 같이 개최하오니 많은 관심과 참석을 부탁드립니다.

      1. 제       목 : 고신뢰도 소프트웨어의 검증을 위한 정적 분석 기법의 활용

2. 발  표  자 : 김태효 박사

3. 일     시 : 2011년 11월 18일(금) 16:00-18:00

4. 장     소 : 경북대 학교 IT4호관(공대13호관) 108호

5. 초청교수 : 이우진 교수(950-6378)

6. 강사약력 :

• KAIST 전산학과 소프트웨어 공학 전공 (공학박사)

• 현 (주)포멀웍스 대표이사

7. 내용요약 : 첨부파일 참조