본 세미나에서는 AI 기반 코드 생성의 최신 동향을 살펴보고, 일반 코드 생성, SQL, 자동 정리 증명 분야의 사례를 통해 검증 중심 접근법의 가능성과 과제를 논의할 예정입니다. 관심 있는 학생들의 적극적인 참여를 기다립니다. 


❙ 제목 : Code Generation, Amazing. Next?
❙ 연사 : 한호재 박사 (Postdoctoral Researcher, ETRI)
❙ 일시 : 2026년 6월 22일 (월) 10:00–12:00
❙ 장소 : 한양대학교 IT.BT관 502호