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

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

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


다운로드

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

답글 남기기

아래 항목을 채우거나 오른쪽 아이콘 중 하나를 클릭하여 로그 인 하세요:

WordPress.com 로고

WordPress.com의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Twitter 사진

Twitter의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Facebook 사진

Facebook의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Google+ photo

Google+의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

%s에 연결하는 중