아래와 같이 초청 세미나를 개최하오니 관심 있는 학생들의 많은 참여 부탁드립니다.
제목: Code Generation, Amazing. Next?
연사: 한호재 박사 (Postdoctoral Researcher, ETRI)
일시: 2026년 6월 22일 (월) 10:00–12:00
장소: 한양대학교 ITBT관 502호
문의: 김태욱 교수 (kimtaeuk@hanyang.ac.kr)
소개글: 본 세미나에서는 AI 기반 코드 생성의 최신 동향을 살펴보고, 일반 코드 생성, SQL, 자동 정리 증명 분야의 사례를 통해 검증 중심 접근법의 가능성과 과제를 논의할 예정입니다.