난상 토론

• 주제: AI가 바꾸는 프로그래밍의 미래 지형
  
• 일시: 2025년 8월 20일 (수) 16:30 ~ 18:00
• 사회자: 박지혁 (고려대)

본 난상토론은 "AI가 바꾸는 프로그래밍의 미래 지형"을 주제로, AI 기술의 급격한 발전이 프로그래밍 언어 분야의 연구와 교육에 미치는 영향을 자유롭게 논의하는 자리입니다. 다양한 시각과 경험을 공유하며 새로운 통찰을 얻을 수 있는 기회를 마련하였으니, 많은 관심과 참여를 부탁드립니다.

난상토론을 더욱 풍성하고 참여적인 시간으로 만들기 위해, 여러분의 관심 주제, 궁금한 점, 토론 질문 등을 미리 받고자 합니다. 활발한 의견 공유를 기대하며, 아래 설문을 통해 참여해주세요!

• 구글 폼 링크: https://forms.gle/5Lg5EUsopTNo87yn6

화두 발표 (16:30 ~ 17:00)

약 30분간 두 분의 발표로 토론의 주제를 열어갑니다.

발표 제목 이름 소속 AI가 우리같은 사람들에게 거는 도발과 우리의 답은? 이광근 교수님 서울대학교 통제 가능한 초지능 AI 개발을 위한 필수 열쇠: 소프트웨어 검증 기술 허충길 교수님 서울대학교

자유 토론 (17:00 ~ 18:00)

이후에는 아래 패널과 함께 자유로운 토론을 이어갑니다. 패널은 AI 기술의 발전과 프로그래밍 언어 연구 및 교육에 대해 폭넓은 전문성과 경험을 갖춘 분들로, 각자의 연구 및 실무 현장에서 얻은 통찰을 공유할 예정입니다.

이름 소속 이광근 교수님 서울대학교 허충길 교수님 서울대학교 김지응 교수님 연세대학교 이원열 교수님 POSTECH 전민석 교수님 DGIST

---

프로그래밍언어연구회