Episode 20: 컴퓨터 과학 특집 2부 – 서울대 컴퓨터 공학부 이광근 교수님과 함께

서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다. 방송 말미에는 5년 안에 우리 앞으로 다가올  미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다.

책을 읽읍시다 캠페인 관련 링크


다운로드

Episode 20: 컴퓨터 과학 특집 1부 – 서울대 컴퓨터 공학부 이광근 교수님과 함께

doctor_lee대망의 2016년 첫 주제는 컴퓨터 과학 입니다. 이번 에피소드에서는 서울대 컴퓨터 공학부 이광근 교수님을 모시고 학문으로서의 컴퓨터 과학과 교수님이 집필하신 책 – ‘컴퓨터과학이 여는 세계’에 대하여 이야기를 나눠 봤습니다.

 

방송관련 링크


다운로드